Trace number 1776103

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
ttsth-5-0 2009-03-19 (4 threads)Signal 136.71 136.718

General information on the benchmark

Nameindustrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
MD5SUMccc94758bbd09de3056ff3a062ddfd45
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark18.57
Satisfiable
(Un)Satisfiability was proved
Number of variables113583
Number of clauses649270
Sum of the clauses size1721996
Maximum clause length591
Minimum clause length1
Number of clauses of size 1276
Number of clauses of size 2537293
Number of clauses of size 3107101
Number of clauses of size 4980
Number of clauses of size 5101
Number of clauses of size over 53519

Solver Data 

1.23/1.29	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1776103-1243673329.cnf 
1.23/1.29	c Using SATTIMEOUT of 10000
1.23/1.29	c Using SATRAM of 2047
1.23/1.29	c Size of subset node = 16
1.23/1.29	c Variables = 115898
1.23/1.29	c Clauses = 649270
1.23/1.29	c Literals = 1721996
1.23/1.29	c Reduced size:
1.23/1.29	c Variables = 113583
1.23/1.29	c Clauses = 648970
1.23/1.29	c Literals = 1721660
1.23/1.29	c a2
28.02/28.10	c a1
129.82/129.89	c Independent sub-problems = 1
129.82/129.89	c Sub-problem with 113549 variables and 648970 clauses
129.82/129.89	c using permutation method 4
129.82/129.89	c count = 1
129.82/129.89	c Ordering finished 129.600 seconds
129.82/129.89	c mapped 129.900 seconds
129.82/129.89	c permuted 129.900 seconds
129.82/129.89	c about to sort
130.02/130.10	c sorted

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1776103-1243673329/watcher-1776103-1243673329 -o /tmp/evaluation-result-1776103-1243673329/solver-1776103-1243673329 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1776103-1243673329.cnf 

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: 6.91 7.14 6.13 5/111 25709
/proc/meminfo: memFree=3096628/3368532 swapFree=1953788/1959888
[pid=25709] ppid=25707 vsize=1144 CPUtime=0.01
/proc/25709/stat : 25709 (ttsth-5-0) R 25707 25709 20065 0 -1 4202496 180 0 0 0 1 0 0 0 25 0 1 0 1131997036 1171456 135 4294967295 134512640 135237372 3215256992 3215255860 134883453 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25709/statm: 286 135 75 177 0 108 0

[startup+0.104136 s]
/proc/loadavg: 6.91 7.14 6.13 5/111 25709
/proc/meminfo: memFree=3096628/3368532 swapFree=1953788/1959888
[pid=25709] ppid=25707 vsize=5692 CPUtime=0.11
/proc/25709/stat : 25709 (ttsth-5-0) R 25707 25709 20065 0 -1 4202496 1302 0 0 0 10 1 0 0 25 0 1 0 1131997036 5828608 1257 4294967295 134512640 135237372 3215256992 3215255860 134884085 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25709/statm: 1423 1257 75 177 0 1245 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 5692

[startup+0.214128 s]
/proc/loadavg: 6.91 7.14 6.13 5/111 25709
/proc/meminfo: memFree=3096628/3368532 swapFree=1953788/1959888
[pid=25709] ppid=25707 vsize=11024 CPUtime=0.22
/proc/25709/stat : 25709 (ttsth-5-0) R 25707 25709 20065 0 -1 4202496 2584 0 0 0 21 1 0 0 25 0 1 0 1131997036 11288576 2539 4294967295 134512640 135237372 3215256992 3215255560 134684981 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25709/statm: 2756 2539 75 177 0 2578 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 11024

[startup+0.314119 s]
/proc/loadavg: 6.91 7.14 6.13 5/111 25709
/proc/meminfo: memFree=3096628/3368532 swapFree=1953788/1959888
[pid=25709] ppid=25707 vsize=15784 CPUtime=0.32
/proc/25709/stat : 25709 (ttsth-5-0) R 25707 25709 20065 0 -1 4202496 3745 0 0 0 31 1 0 0 25 0 1 0 1131997036 16162816 3700 4294967295 134512640 135237372 3215256992 3215256640 134524722 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25709/statm: 3946 3700 75 177 0 3768 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 15784

[startup+0.714088 s]
/proc/loadavg: 6.91 7.14 6.13 5/111 25709
/proc/meminfo: memFree=3096628/3368532 swapFree=1953788/1959888
[pid=25709] ppid=25707 vsize=34596 CPUtime=0.72
/proc/25709/stat : 25709 (ttsth-5-0) R 25707 25709 20065 0 -1 4202496 8375 0 0 0 68 4 0 0 25 0 1 0 1131997036 35426304 8330 4294967295 134512640 135237372 3215256992 3215255588 134887194 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25709/statm: 8649 8330 75 177 0 8471 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 34596

[startup+1.51402 s]
/proc/loadavg: 6.91 7.14 6.13 8/113 25755
/proc/meminfo: memFree=3053932/3368532 swapFree=1953788/1959888
[pid=25709] ppid=25707 vsize=89096 CPUtime=1.52
/proc/25709/stat : 25709 (ttsth-5-0) R 25707 25709 20065 0 -1 4202496 21461 0 0 0 146 6 0 0 25 0 1 0 1131997036 91234304 21416 4294967295 134512640 135237372 3215256992 3215256384 134749343 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25709/statm: 22274 21416 76 177 0 22096 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 89096

[startup+3.11389 s]
/proc/loadavg: 7.00 7.15 6.14 8/113 25774
/proc/meminfo: memFree=2884416/3368532 swapFree=1953788/1959888
[pid=25709] ppid=25707 vsize=524688 CPUtime=3.12
/proc/25709/stat : 25709 (ttsth-5-0) R 25707 25709 20065 0 -1 4202496 90947 0 0 0 279 33 0 0 25 0 1 0 1131997036 537280512 90902 4294967295 134512640 135237372 3215256992 3215256544 134554919 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25709/statm: 131172 90902 76 177 0 130994 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 524688

[startup+6.31362 s]
/proc/loadavg: 7.00 7.15 6.14 7/113 25800
/proc/meminfo: memFree=2578252/3368532 swapFree=1953788/1959888
[pid=25709] ppid=25707 vsize=724416 CPUtime=6.32
/proc/25709/stat : 25709 (ttsth-5-0) R 25707 25709 20065 0 -1 4202496 129975 0 0 0 589 43 0 0 25 0 1 0 1131997036 741801984 129355 4294967295 134512640 135237372 3215256992 3215256288 134680729 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25709/statm: 181104 129355 76 177 0 180926 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 724416

[startup+12.7131 s]
/proc/loadavg: 6.77 7.10 6.13 8/113 25857
/proc/meminfo: memFree=2577976/3368532 swapFree=1953788/1959888
[pid=25709] ppid=25707 vsize=724712 CPUtime=12.72
/proc/25709/stat : 25709 (ttsth-5-0) R 25707 25709 20065 0 -1 4202496 158901 0 0 0 1219 53 0 0 25 0 1 0 1131997036 742105088 129397 4294967295 134512640 135237372 3215256992 3215256280 134519994 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25709/statm: 181178 129397 76 177 0 181000 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 724712

[startup+25.512 s]
/proc/loadavg: 6.50 7.03 6.12 6/112 25897
/proc/meminfo: memFree=2578172/3368532 swapFree=1953788/1959888
[pid=25709] ppid=25707 vsize=724920 CPUtime=25.52
/proc/25709/stat : 25709 (ttsth-5-0) R 25707 25709 20065 0 -1 4202496 216759 0 0 0 2481 71 0 0 25 0 1 0 1131997036 742318080 129417 4294967295 134512640 135237372 3215256992 3215255512 134519976 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25709/statm: 181230 129417 76 177 0 181052 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 724920

[startup+51.1099 s]
/proc/loadavg: 5.71 6.80 6.07 6/112 25898
/proc/meminfo: memFree=2999224/3368532 swapFree=1953788/1959888
[pid=25709] ppid=25707 vsize=98804 CPUtime=51.12
/proc/25709/stat : 25709 (ttsth-5-0) R 25707 25709 20065 0 -1 4202496 222647 0 0 0 5036 76 0 0 25 0 1 0 1131997036 101175296 24148 4294967295 134512640 135237372 3215256992 3215256320 134555272 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25709/statm: 24701 24148 77 177 0 24523 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 98804

[startup+102.316 s]
/proc/loadavg: 5.18 6.48 6.00 5/112 26090
/proc/meminfo: memFree=2982632/3368532 swapFree=1953788/1959888
[pid=25709] ppid=25707 vsize=115096 CPUtime=102.32
/proc/25709/stat : 25709 (ttsth-5-0) R 25707 25709 20065 0 -1 4202496 226767 0 0 0 10155 77 0 0 25 0 1 0 1131997036 117858304 28268 4294967295 134512640 135237372 3215256992 3215256352 134600960 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25709/statm: 28774 28268 77 177 0 28596 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 115096

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

[startup+102.416 s]
/proc/loadavg: 5.18 6.48 6.00 5/112 26090
/proc/meminfo: memFree=2982632/3368532 swapFree=1953788/1959888
[pid=25709] ppid=25707 vsize=115096 CPUtime=102.42
/proc/25709/stat : 25709 (ttsth-5-0) R 25707 25709 20065 0 -1 4202496 226767 0 0 0 10165 77 0 0 25 0 1 0 1131997036 117858304 28268 4294967295 134512640 135237372 3215256992 3215256352 134600972 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25709/statm: 28774 28268 77 177 0 28596 0
Current children cumulated CPU time (s) 102.42
Current children cumulated vsize (KiB) 115096

[startup+115.215 s]
/proc/loadavg: 5.08 6.41 5.98 5/112 26090
/proc/meminfo: memFree=2981772/3368532 swapFree=1953788/1959888
[pid=25709] ppid=25707 vsize=116136 CPUtime=115.22
/proc/25709/stat : 25709 (ttsth-5-0) R 25707 25709 20065 0 -1 4202496 227005 0 0 0 11445 77 0 0 25 0 1 0 1131997036 118923264 28506 4294967295 134512640 135237372 3215256992 3215256352 134600975 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25709/statm: 29034 28506 77 177 0 28856 0
Current children cumulated CPU time (s) 115.22
Current children cumulated vsize (KiB) 116136

[startup+128.014 s]
/proc/loadavg: 4.99 6.32 5.96 5/112 26091
/proc/meminfo: memFree=2981020/3368532 swapFree=1953788/1959888
[pid=25709] ppid=25707 vsize=116796 CPUtime=128.02
/proc/25709/stat : 25709 (ttsth-5-0) R 25707 25709 20065 0 -1 4202496 227196 0 0 0 12725 77 0 0 25 0 1 0 1131997036 119599104 28697 4294967295 134512640 135237372 3215256992 3215256352 134600960 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25709/statm: 29199 28697 77 177 0 29021 0
Current children cumulated CPU time (s) 128.02
Current children cumulated vsize (KiB) 116796

[startup+131.213 s]
/proc/loadavg: 4.99 6.32 5.96 6/113 26155
/proc/meminfo: memFree=2716936/3368532 swapFree=1953788/1959888
[pid=25709] ppid=25707 vsize=399036 CPUtime=131.21
/proc/25709/stat : 25709 (ttsth-5-0) R 25707 25709 20065 0 -1 4202496 299334 0 0 0 13024 97 0 0 25 0 1 0 1131997036 408612864 99567 4294967295 134512640 135237372 3215256992 3214990124 134737648 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25709/statm: 99759 99567 91 177 0 99581 0
Current children cumulated CPU time (s) 131.21
Current children cumulated vsize (KiB) 399036

[startup+134.413 s]
/proc/loadavg: 4.99 6.30 5.96 6/113 26181
/proc/meminfo: memFree=2660604/3368532 swapFree=1953788/1959888
[pid=25709] ppid=25707 vsize=435944 CPUtime=134.41
/proc/25709/stat : 25709 (ttsth-5-0) R 25707 25709 20065 0 -1 4202496 308686 0 0 0 13343 98 0 0 25 0 1 0 1131997036 446406656 108790 4294967295 134512640 135237372 3215256992 3215007520 134551480 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25709/statm: 108986 108790 91 177 0 108808 0
Current children cumulated CPU time (s) 134.41
Current children cumulated vsize (KiB) 435944

[startup+136.013 s]
/proc/loadavg: 4.99 6.30 5.96 6/113 26190
/proc/meminfo: memFree=2643188/3368532 swapFree=1953788/1959888
[pid=25709] ppid=25707 vsize=483568 CPUtime=136.01
/proc/25709/stat : 25709 (ttsth-5-0) R 25707 25709 20065 0 -1 4204032 320664 0 0 0 13455 146 0 0 25 0 1 0 1131997036 495173632 120511 4294967295 134512640 135237372 3215256992 3206881160 134730102 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25709/statm: 120892 120511 104 177 0 120714 0
Current children cumulated CPU time (s) 136.01
Current children cumulated vsize (KiB) 483568

[startup+136.413 s]
/proc/loadavg: 5.23 6.33 5.97 6/113 26199
/proc/meminfo: memFree=2247636/3368532 swapFree=1953788/1959888
[pid=25709] ppid=25707 vsize=483568 CPUtime=136.41
/proc/25709/stat : 25709 (ttsth-5-0) R 25707 25709 20065 0 -1 4204032 320664 0 0 0 13455 186 0 0 25 0 1 0 1131997036 495173632 120511 4294967295 134512640 135237372 3215256992 3206881160 134730102 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25709/statm: 120892 120511 104 177 0 120714 0
Current children cumulated CPU time (s) 136.41
Current children cumulated vsize (KiB) 483568

[startup+136.613 s]
/proc/loadavg: 5.23 6.33 5.97 6/113 26199
/proc/meminfo: memFree=2247636/3368532 swapFree=1953788/1959888
[pid=25709] ppid=25707 vsize=483568 CPUtime=136.61
/proc/25709/stat : 25709 (ttsth-5-0) R 25707 25709 20065 0 -1 4204032 320664 0 0 0 13455 206 0 0 25 0 1 0 1131997036 495173632 120511 4294967295 134512640 135237372 3215256992 3206881160 134730102 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25709/statm: 120892 120511 104 177 0 120714 0
Current children cumulated CPU time (s) 136.61
Current children cumulated vsize (KiB) 483568

[startup+136.713 s]
/proc/loadavg: 5.23 6.33 5.97 6/113 26199
/proc/meminfo: memFree=2247636/3368532 swapFree=1953788/1959888
[pid=25709] ppid=25707 vsize=0 CPUtime=136.71
/proc/25709/stat : 25709 (ttsth-5-0) R 25707 25709 20065 0 -1 4204036 320959 0 0 0 13455 216 0 0 25 0 1 0 1131997036 0 0 4294967295 0 0 0 0 0 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25709/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 136.71
Current children cumulated vsize (KiB) 0

Child ended because it received signal 11 (SIGSEGV)
Child dumped core

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25709 and gives
#  childrusage.ru_utime.tv_sec=134
#  childrusage.ru_utime.tv_usec=550000
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=160000
# CPU time returned by wait4() is 136.71
# while last known CPU time is 136.71
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 136.718
CPU time (s): 136.71
CPU user time (s): 134.55
CPU system time (s): 2.16
CPU usage (%): 99.9939
Max. virtual memory (cumulated for all children) (KiB): 727756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 134.55
system time used= 2.16
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 320959
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= 1
involuntary context switches= 1700

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 10:48:49
IDJOB=1776103
IDBENCH=20421
IDSOLVER=632
FILE ID=/1776103-1243673329
PBS_JOBID=
Free space on /tmp= 6465 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (4 threads)
BENCH NAME= SAT07/industrial/palacios/uts/uts-l06-ipc5-h28-unknown.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776103-1243673329/watcher-1776103-1243673329 -o /tmp/evaluation-result-1776103-1243673329/solver-1776103-1243673329 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 4 HOME/instance-1776103-1243673329.cnf

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

MD5SUM BENCH= ccc94758bbd09de3056ff3a062ddfd45
RANDOM SEED= 2122172905

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.061
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.41
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.061
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.12
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.061
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.14
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.061
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.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3096628 kB
Buffers:         93888 kB
Cached:          64916 kB
SwapCached:       2256 kB
Active:         143660 kB
Inactive:        31892 kB
HighTotal:     2489216 kB
HighFree:      2406808 kB
LowTotal:       879316 kB
LowFree:        689820 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:           12748 kB
Writeback:          20 kB
AnonPages:       16000 kB
Mapped:           5272 kB
Slab:            87504 kB
SReclaimable:    73972 kB
SUnreclaim:      13532 kB
PageTables:        668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   112684 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5993 MiB
End job on  at 2009-05-30 10:51:06