Trace number 1779274

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ManySAT 1.1 aimd 1/2009-03-20 (4 threads)UNSAT 9.13 3.93534

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-04.cnf
MD5SUM019984f9d84c315e8eec645fb9d169da
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark8.15
Satisfiable
(Un)Satisfiability was proved
Number of variables68679
Number of clauses223994
Sum of the clauses size580546
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 291178
Number of clauses of size 3132687
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.09/0.18	c ==============================================================================
0.09/0.18	c |           |     ORIGINAL     |              LEARNT              |          |
0.09/0.18	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.09/0.18	c ==============================================================================
0.09/0.18	c |         0 |  223351   578876 |   67005       0        0     nan |  0.000 % |
0.89/0.90	c |         0 |  161435   546307 |      --       0       --      -- |     --   | -61916/-32569
0.89/0.90	c ==============================================================================
0.89/0.90	c Result  :   #vars: 28147   #clauses: 161435   #literals: 546307
0.89/0.90	c CPU time:   0.82 s
0.89/0.90	c ==============================================================================
9.04/3.92	c This is ManySAT 1.1 : 4 thread(s) on 4 core(s).
9.04/3.92	c ============================[ Problem Statistics ]=============================
9.04/3.92	c |                                                                             |
9.04/3.92	c threadId              : 2
9.04/3.92	c restarts              : 3
9.04/3.92	c conflicts             : 307            (40 /sec)
9.04/3.92	c decisions             : 3176           (1.64 % random) (411 /sec)
9.04/3.92	c propagations          : 1180867        (152764 /sec)
9.04/3.92	c conflict literals     : 7718           (49.24 % deleted)
9.04/3.92	c Memory used           : 84.23 MB
9.04/3.92	c CPU time              : 7.73 s
9.04/3.92	
9.04/3.92	c --->m=4, e=8, aimd=1, HOME/2886_many.cnf	time: 1.935	conflicts: 307          
9.04/3.92	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1779274-1243522379/watcher-1779274-1243522379 -o /tmp/evaluation-result-1779274-1243522379/solver-1779274-1243522379 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779274-1243522379.cnf aimd 1 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 5.51 5.67 5.63 4/125 2887
/proc/meminfo: memFree=2098008/3368532 swapFree=1957708/1959888
[pid=2886] ppid=2884 vsize=2416 CPUtime=0
/proc/2886/stat : 2886 (manysat.sh) R 2884 2886 21334 0 -1 4194304 333 0 0 0 0 0 0 0 20 0 1 0 1116901885 2473984 273 4294967295 134512640 135169312 3217829904 3217828380 3085539188 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/2886/statm: 604 273 231 161 0 43 0
[pid=2887] ppid=2886 vsize=2416 CPUtime=0
/proc/2887/stat : 2887 (manysat.sh) R 2886 2886 21334 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 1116901886 2473984 42 4294967295 134512640 135169312 3217829904 3217828380 3085539188 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/2887/statm: 604 42 0 161 0 43 0

[startup+0.025025 s]
/proc/loadavg: 5.51 5.67 5.63 4/125 2887
/proc/meminfo: memFree=2098008/3368532 swapFree=1957708/1959888
[pid=2886] ppid=2884 vsize=2416 CPUtime=0
/proc/2886/stat : 2886 (manysat.sh) S 2884 2886 21334 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 1116901885 2473984 273 4294967295 134512640 135169312 3217829904 3217828440 3085537006 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2886/statm: 604 273 231 161 0 43 0
[pid=2887] ppid=2886 vsize=13540 CPUtime=0.01
/proc/2887/stat : 2887 (SatElite) R 2886 2886 21334 0 -1 4202496 2090 0 0 0 1 0 0 0 21 0 1 0 1116901886 13864960 1880 4294967295 134512640 135034092 3218366544 3218362504 134673244 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2887/statm: 3385 1880 50 128 0 3255 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15956

[startup+0.105009 s]
/proc/loadavg: 5.51 5.67 5.63 4/125 2887
/proc/meminfo: memFree=2098008/3368532 swapFree=1957708/1959888
[pid=2886] ppid=2884 vsize=2416 CPUtime=0
/proc/2886/stat : 2886 (manysat.sh) S 2884 2886 21334 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 1116901885 2473984 273 4294967295 134512640 135169312 3217829904 3217828440 3085537006 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2886/statm: 604 273 231 161 0 43 0
[pid=2887] ppid=2886 vsize=24428 CPUtime=0.09
/proc/2887/stat : 2887 (SatElite) R 2886 2886 21334 0 -1 4202496 4830 0 0 0 7 2 0 0 21 0 1 0 1116901886 25014272 4620 4294967295 134512640 135034092 3218366544 3218362888 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2887/statm: 6107 4620 50 128 0 5977 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26844

[startup+0.304991 s]
/proc/loadavg: 5.51 5.67 5.63 4/125 2887
/proc/meminfo: memFree=2098008/3368532 swapFree=1957708/1959888
[pid=2886] ppid=2884 vsize=2416 CPUtime=0
/proc/2886/stat : 2886 (manysat.sh) S 2884 2886 21334 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 1116901885 2473984 273 4294967295 134512640 135169312 3217829904 3217828440 3085537006 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2886/statm: 604 273 231 161 0 43 0
[pid=2887] ppid=2886 vsize=37308 CPUtime=0.29
/proc/2887/stat : 2887 (SatElite) R 2886 2886 21334 0 -1 4202496 8138 0 0 0 24 5 0 0 22 0 1 0 1116901886 38203392 7727 4294967295 134512640 135034092 3218366544 3218362540 134691101 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2887/statm: 9327 7728 67 128 0 9197 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39724

[startup+0.704957 s]
/proc/loadavg: 5.51 5.67 5.63 4/125 2887
/proc/meminfo: memFree=2098008/3368532 swapFree=1957708/1959888
[pid=2886] ppid=2884 vsize=2416 CPUtime=0
/proc/2886/stat : 2886 (manysat.sh) S 2884 2886 21334 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 1116901885 2473984 273 4294967295 134512640 135169312 3217829904 3217828440 3085537006 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2886/statm: 604 273 231 161 0 43 0
[pid=2887] ppid=2886 vsize=42600 CPUtime=0.69
/proc/2887/stat : 2887 (SatElite) R 2886 2886 21334 0 -1 4202496 9509 0 0 0 62 7 0 0 24 0 1 0 1116901886 43622400 8964 4294967295 134512640 135034092 3218366544 3218362848 134569271 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2887/statm: 10650 8964 67 128 0 10520 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45016

[startup+1.50489 s]
/proc/loadavg: 5.51 5.67 5.63 3/126 2888
/proc/meminfo: memFree=1974880/3368532 swapFree=1957708/1959888
[pid=2886] ppid=2884 vsize=2420 CPUtime=1.12
/proc/2886/stat : 2886 (manysat.sh) S 2884 2886 21334 0 -1 4194304 369 9801 0 0 0 0 102 10 18 0 1 0 1116901885 2478080 275 4294967295 134512640 135169312 3217829904 3217826120 3085537006 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2886/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 2420

[startup+3.10516 s]
/proc/loadavg: 5.51 5.67 5.63 6/129 2892
/proc/meminfo: memFree=1715680/3368532 swapFree=1957708/1959888
[pid=2886] ppid=2884 vsize=2420 CPUtime=1.12
/proc/2886/stat : 2886 (manysat.sh) S 2884 2886 21334 0 -1 4194304 369 9801 0 0 0 0 102 10 18 0 1 0 1116901885 2478080 275 4294967295 134512640 135169312 3217829904 3217826120 3085537006 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2886/statm: 605 275 231 161 0 44 0
[pid=2889] ppid=2886 vsize=85196 CPUtime=4.83
/proc/2889/stat : 2889 (manysat1.1_stat) R 2886 2886 21334 0 -1 4202496 14094 0 0 0 457 26 0 0 15 0 4 0 1116901998 87240704 14028 4294967295 134512640 135305190 3213390784 3213388688 134556770 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2889/statm: 21299 14028 79 194 0 21103 0
[pid=2889/tid=2890] ppid=2886 vsize=85196 CPUtime=1.28
/proc/2889/task/2890/stat : 2890 (manysat1.1_stat) R 2886 2886 21334 0 -1 4202560 695 0 0 0 122 6 0 0 15 0 4 0 1116902035 87240704 14028 4294967295 134512640 135305190 3213390784 3074165680 134557264 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2889/tid=2891] ppid=2886 vsize=85196 CPUtime=0.72
/proc/2889/task/2891/stat : 2891 (manysat1.1_stat) R 2886 2886 21334 0 -1 4202560 438 0 0 0 67 5 0 0 16 0 4 0 1116902035 87240704 14028 4294967295 134512640 135305190 3213390784 3065777344 134528392 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=2889/tid=2892] ppid=2886 vsize=85196 CPUtime=1.46
/proc/2889/task/2892/stat : 2892 (manysat1.1_stat) R 2886 2886 21334 0 -1 4202560 858 0 0 0 141 5 0 0 16 0 4 0 1116902035 87240704 14028 4294967295 134512640 135305190 3213390784 3057388400 134551661 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 87616

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

[startup+3.51531 s]
/proc/loadavg: 5.55 5.67 5.63 9/129 2892
/proc/meminfo: memFree=1988372/3368532 swapFree=1957708/1959888
[pid=2886] ppid=2884 vsize=2420 CPUtime=1.12
/proc/2886/stat : 2886 (manysat.sh) S 2884 2886 21334 0 -1 4194304 369 9801 0 0 0 0 102 10 18 0 1 0 1116901885 2478080 275 4294967295 134512640 135169312 3217829904 3217826120 3085537006 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2886/statm: 605 275 231 161 0 44 0
[pid=2889] ppid=2886 vsize=85856 CPUtime=6.4
/proc/2889/stat : 2889 (manysat1.1_stat) R 2886 2886 21334 0 -1 4202496 14252 0 0 0 614 26 0 0 16 0 4 0 1116901998 87916544 14186 4294967295 134512640 135305190 3213390784 3213388960 134528480 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2889/statm: 21464 14186 79 194 0 21268 0
[pid=2889/tid=2890] ppid=2886 vsize=85856 CPUtime=1.67
/proc/2889/task/2890/stat : 2890 (manysat1.1_stat) R 2886 2886 21334 0 -1 4202560 724 0 0 0 161 6 0 0 15 0 4 0 1116902035 87916544 14186 4294967295 134512640 135305190 3213390784 3074165952 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2889/tid=2891] ppid=2886 vsize=85856 CPUtime=1.11
/proc/2889/task/2891/stat : 2891 (manysat1.1_stat) R 2886 2886 21334 0 -1 4202560 503 0 0 0 106 5 0 0 15 0 4 0 1116902035 87916544 14186 4294967295 134512640 135305190 3213390784 3065777024 134552302 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=2889/tid=2892] ppid=2886 vsize=85856 CPUtime=1.85
/proc/2889/task/2892/stat : 2892 (manysat1.1_stat) R 2886 2886 21334 0 -1 4202560 898 0 0 0 180 5 0 0 16 0 4 0 1116902035 87916544 14186 4294967295 134512640 135305190 3213390784 3057388660 134694990 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.52
Current children cumulated vsize (KiB) 88276

[startup+3.90527 s]
/proc/loadavg: 5.55 5.67 5.63 9/129 2892
/proc/meminfo: memFree=1988372/3368532 swapFree=1957708/1959888
[pid=2886] ppid=2884 vsize=2420 CPUtime=1.12
/proc/2886/stat : 2886 (manysat.sh) S 2884 2886 21334 0 -1 4194304 369 9801 0 0 0 0 102 10 18 0 1 0 1116901885 2478080 275 4294967295 134512640 135169312 3217829904 3217826120 3085537006 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2886/statm: 605 275 231 161 0 44 0
[pid=2889] ppid=2886 vsize=86248 CPUtime=7.92
/proc/2889/stat : 2889 (manysat1.1_stat) R 2886 2886 21334 0 -1 4202496 14374 0 0 0 766 26 0 0 16 0 4 0 1116901998 88317952 14308 4294967295 134512640 135305190 3213390784 3213390192 134657622 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/2889/statm: 21562 14308 79 194 0 21366 0
[pid=2889/tid=2890] ppid=2886 vsize=86248 CPUtime=2.06
/proc/2889/task/2890/stat : 2890 (manysat1.1_stat) R 2886 2886 21334 0 -1 4202560 733 0 0 0 200 6 0 0 16 0 4 0 1116902035 88317952 14308 4294967295 134512640 135305190 3213390784 3074167216 134657448 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2889/tid=2891] ppid=2886 vsize=86248 CPUtime=1.49
/proc/2889/task/2891/stat : 2891 (manysat1.1_stat) R 2886 2886 21334 0 -1 4202560 549 0 0 0 144 5 0 0 16 0 4 0 1116902035 88317952 14308 4294967295 134512640 135305190 3213390784 3065778608 134657576 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=2889/tid=2892] ppid=2886 vsize=86248 CPUtime=2.23
/proc/2889/task/2892/stat : 2892 (manysat1.1_stat) R 2886 2886 21334 0 -1 4202560 944 0 0 0 218 5 0 0 16 0 4 0 1116902035 88317952 14308 4294967295 134512640 135305190 3213390784 3057388624 134529624 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.04
Current children cumulated vsize (KiB) 88668

Child status: 20
Real time (s): 3.93534
CPU time (s): 9.13
CPU user time (s): 8.76
CPU system time (s): 0.37
CPU usage (%): 232
Max. virtual memory (cumulated for all children) (KiB): 88668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.76
system time used= 0.37
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24834
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= 22509
involuntary context switches= 5653

runsolver used 0.01 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 16:52:59
IDJOB=1779274
IDBENCH=70827
IDSOLVER=623
FILE ID=/1779274-1243522379
PBS_JOBID=
Free space on /tmp= 15881 MiB

SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-04.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779274-1243522379/watcher-1779274-1243522379 -o /tmp/evaluation-result-1779274-1243522379/solver-1779274-1243522379 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1779274-1243522379.cnf aimd 1

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4

MD5SUM BENCH= 019984f9d84c315e8eec645fb9d169da
RANDOM SEED= 1924602497

Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.43
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.11
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.16
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.15
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2103484 kB
Buffers:          4740 kB
Cached:         556976 kB
SwapCached:         40 kB
Active:         707156 kB
Inactive:       514248 kB
HighTotal:     2489216 kB
HighFree:      1269884 kB
LowTotal:       879316 kB
LowFree:        833600 kB
SwapTotal:     1959888 kB
SwapFree:      1957708 kB
Dirty:            5808 kB
Writeback:           0 kB
AnonPages:      659928 kB
Mapped:          35592 kB
Slab:            33896 kB
SReclaimable:    25468 kB
SUnreclaim:       8428 kB
PageTables:       1464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   964388 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15881 MiB
End job on  at 2009-05-28 16:53:03