Trace number 1780318

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 134.3 134.288

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-15-10p1.cnf
MD5SUM95ee3bccf00be0d94959b7512fd434b4
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark719.72
Satisfiable
(Un)Satisfiability was proved
Number of variables200152
Number of clauses1019667
Sum of the clauses size2431924
Maximum clause length10
Minimum clause length1
Number of clauses of size 110249
Number of clauses of size 2759459
Number of clauses of size 3198999
Number of clauses of size 45660
Number of clauses of size 522640
Number of clauses of size over 522660

Solver Data 

46.71/46.77	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780318-1243682104.cnf 
46.71/46.77	c Using SATTIMEOUT of 10000
46.71/46.77	c Using SATRAM of 2047
46.71/46.77	c Size of subset node = 16
46.71/46.77	c Variables = 200152
46.71/46.77	c Clauses = 1019667
46.71/46.77	c Literals = 2431924
46.71/46.77	c Reduced size:
46.71/46.77	c Variables = 200152
46.71/46.77	c Clauses = 757702
46.71/46.77	c Literals = 1846485
46.71/46.77	c a2
48.32/48.35	c a1
130.51/130.50	c Independent sub-problems = 1
130.51/130.50	c Sub-problem with 152007 variables and 757702 clauses
130.51/130.50	c using permutation method 4
130.51/130.50	c count = 1
130.51/130.50	c Ordering finished 130.130 seconds
130.51/130.50	c mapped 130.510 seconds
130.51/130.50	c permuted 130.520 seconds
130.51/130.50	c about to sort
130.71/130.71	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-1780318-1243682104/watcher-1780318-1243682104 -o /tmp/evaluation-result-1780318-1243682104/solver-1780318-1243682104 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780318-1243682104.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: 1.00 1.07 1.89 3/98 32084
/proc/meminfo: memFree=3042744/3368532 swapFree=1959840/1959888
[pid=32084] ppid=32082 vsize=1140 CPUtime=0
/proc/32084/stat : 32084 (ttsth-5-0) R 32082 32084 30226 0 -1 4202496 176 0 0 0 0 0 0 0 18 0 1 0 949787307 1167360 132 4294967295 134512640 135237372 3215556064 3215554588 134639534 0 0 0 0 0 0 0 17 1 0 0 0
/proc/32084/statm: 285 133 75 177 0 107 0

[startup+0.054342 s]
/proc/loadavg: 1.00 1.07 1.89 3/98 32084
/proc/meminfo: memFree=3042744/3368532 swapFree=1959840/1959888
[pid=32084] ppid=32082 vsize=3784 CPUtime=0.05
/proc/32084/stat : 32084 (ttsth-5-0) R 32082 32084 30226 0 -1 4202496 823 0 0 0 5 0 0 0 18 0 1 0 949787307 3874816 779 4294967295 134512640 135237372 3215556064 3215555512 134732614 0 0 0 0 0 0 0 17 1 0 0 0
/proc/32084/statm: 946 780 75 177 0 768 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3784

[startup+0.104322 s]
/proc/loadavg: 1.00 1.07 1.89 3/98 32084
/proc/meminfo: memFree=3042744/3368532 swapFree=1959840/1959888
[pid=32084] ppid=32082 vsize=6280 CPUtime=0.1
/proc/32084/stat : 32084 (ttsth-5-0) R 32082 32084 30226 0 -1 4202496 1466 0 0 0 9 1 0 0 18 0 1 0 949787307 6430720 1422 4294967295 134512640 135237372 3215556064 3215554588 134639534 0 0 0 0 0 0 0 17 1 0 0 0
/proc/32084/statm: 1570 1422 75 177 0 1392 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6280

[startup+0.304306 s]
/proc/loadavg: 1.00 1.07 1.89 3/98 32084
/proc/meminfo: memFree=3042744/3368532 swapFree=1959840/1959888
[pid=32084] ppid=32082 vsize=17428 CPUtime=0.3
/proc/32084/stat : 32084 (ttsth-5-0) R 32082 32084 30226 0 -1 4202496 4203 0 0 0 28 2 0 0 18 0 1 0 949787307 17846272 4159 4294967295 134512640 135237372 3215556064 3215555512 134732614 0 0 0 0 0 0 0 17 1 0 0 0
/proc/32084/statm: 4357 4159 75 177 0 4179 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 17428

[startup+0.704275 s]
/proc/loadavg: 1.00 1.07 1.89 3/98 32084
/proc/meminfo: memFree=3042744/3368532 swapFree=1959840/1959888
[pid=32084] ppid=32082 vsize=36504 CPUtime=0.7
/proc/32084/stat : 32084 (ttsth-5-0) R 32082 32084 30226 0 -1 4202496 8896 0 0 0 68 2 0 0 18 0 1 0 949787307 37380096 8852 4294967295 134512640 135237372 3215556064 3215554588 134639534 0 0 0 0 0 0 0 17 1 0 0 0
/proc/32084/statm: 9126 8853 75 177 0 8948 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 36504

[startup+1.50421 s]
/proc/loadavg: 1.00 1.07 1.89 2/99 32085
/proc/meminfo: memFree=2992424/3368532 swapFree=1959840/1959888
[pid=32084] ppid=32082 vsize=70000 CPUtime=1.5
/proc/32084/stat : 32084 (ttsth-5-0) R 32082 32084 30226 0 -1 4202496 16974 0 0 0 145 5 0 0 20 0 1 0 949787307 71680000 16930 4294967295 134512640 135237372 3215556064 3215555756 134534262 0 0 0 0 0 0 0 17 1 0 0 0
/proc/32084/statm: 17500 16930 75 177 0 17322 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 70000

[startup+3.10408 s]
/proc/loadavg: 1.00 1.07 1.89 2/99 32085
/proc/meminfo: memFree=2975512/3368532 swapFree=1959840/1959888
[pid=32084] ppid=32082 vsize=70000 CPUtime=3.1
/proc/32084/stat : 32084 (ttsth-5-0) R 32082 32084 30226 0 -1 4202496 16974 0 0 0 305 5 0 0 25 0 1 0 949787307 71680000 16930 4294967295 134512640 135237372 3215556064 3215555756 134534259 0 0 0 0 0 0 0 17 1 0 0 0
/proc/32084/statm: 17500 16930 75 177 0 17322 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 70000

[startup+6.30382 s]
/proc/loadavg: 1.00 1.07 1.89 2/99 32085
/proc/meminfo: memFree=2975512/3368532 swapFree=1959840/1959888
[pid=32084] ppid=32082 vsize=70000 CPUtime=6.3
/proc/32084/stat : 32084 (ttsth-5-0) R 32082 32084 30226 0 -1 4202496 16974 0 0 0 625 5 0 0 25 0 1 0 949787307 71680000 16930 4294967295 134512640 135237372 3215556064 3215555756 134534317 0 0 0 0 0 0 0 17 1 0 0 0
/proc/32084/statm: 17500 16930 75 177 0 17322 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 70000

[startup+12.7133 s]
/proc/loadavg: 1.00 1.07 1.88 2/99 32085
/proc/meminfo: memFree=2975576/3368532 swapFree=1959840/1959888
[pid=32084] ppid=32082 vsize=70000 CPUtime=12.71
/proc/32084/stat : 32084 (ttsth-5-0) R 32082 32084 30226 0 -1 4202496 16974 0 0 0 1266 5 0 0 25 0 1 0 949787307 71680000 16930 4294967295 134512640 135237372 3215556064 3215555756 134534793 0 0 0 0 0 0 0 17 1 0 0 0
/proc/32084/statm: 17500 16930 75 177 0 17322 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 70000

[startup+25.5122 s]
/proc/loadavg: 1.00 1.06 1.87 2/99 32086
/proc/meminfo: memFree=2975640/3368532 swapFree=1959840/1959888
[pid=32084] ppid=32082 vsize=70000 CPUtime=25.51
/proc/32084/stat : 32084 (ttsth-5-0) R 32082 32084 30226 0 -1 4202496 16974 0 0 0 2546 5 0 0 25 0 1 0 949787307 71680000 16930 4294967295 134512640 135237372 3215556064 3215555756 134534064 0 0 0 0 0 0 0 17 1 0 0 0
/proc/32084/statm: 17500 16930 75 177 0 17322 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 70000

[startup+51.1101 s]
/proc/loadavg: 1.00 1.06 1.84 3/99 32271
/proc/meminfo: memFree=2897940/3368532 swapFree=1959840/1959888
[pid=32084] ppid=32082 vsize=149868 CPUtime=51.11
/proc/32084/stat : 32084 (ttsth-5-0) R 32082 32084 30226 0 -1 4202496 48836 0 0 0 5099 12 0 0 25 0 1 0 949787307 153464832 36384 4294967295 134512640 135237372 3215556064 3215555392 134550999 0 0 0 0 0 0 0 17 1 0 0 0
/proc/32084/statm: 37467 36384 77 177 0 37289 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 149868

[startup+102.306 s]
/proc/loadavg: 1.00 1.05 1.80 2/99 32458
/proc/meminfo: memFree=2887308/3368532 swapFree=1959840/1959888
[pid=32084] ppid=32082 vsize=158868 CPUtime=102.31
/proc/32084/stat : 32084 (ttsth-5-0) R 32082 32084 30226 0 -1 4202496 51277 0 0 0 10217 14 0 0 25 0 1 0 949787307 162680832 38825 4294967295 134512640 135237372 3215556064 3215555192 134732614 0 0 0 0 0 0 0 17 1 0 0 0
/proc/32084/statm: 39717 38825 77 177 0 39539 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 158868

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

[startup+115.105 s]
/proc/loadavg: 1.00 1.05 1.79 2/99 32459
/proc/meminfo: memFree=2886272/3368532 swapFree=1959840/1959888
[pid=32084] ppid=32082 vsize=159924 CPUtime=115.11
/proc/32084/stat : 32084 (ttsth-5-0) R 32082 32084 30226 0 -1 4202496 51612 0 0 0 11496 15 0 0 25 0 1 0 949787307 163762176 39160 4294967295 134512640 135237372 3215556064 3215555424 134600744 0 0 0 0 0 0 0 17 1 0 0 0
/proc/32084/statm: 39981 39160 77 177 0 39803 0
Current children cumulated CPU time (s) 115.11
Current children cumulated vsize (KiB) 159924

[startup+127.904 s]
/proc/loadavg: 1.00 1.04 1.78 2/99 32464
/proc/meminfo: memFree=2885584/3368532 swapFree=1959840/1959888
[pid=32084] ppid=32082 vsize=160584 CPUtime=127.91
/proc/32084/stat : 32084 (ttsth-5-0) R 32082 32084 30226 0 -1 4202496 51796 0 0 0 12776 15 0 0 25 0 1 0 949787307 164438016 39344 4294967295 134512640 135237372 3215556064 3215555424 134600975 0 0 0 0 0 0 0 17 1 0 0 0
/proc/32084/statm: 40146 39344 77 177 0 39968 0
Current children cumulated CPU time (s) 127.91
Current children cumulated vsize (KiB) 160584

[startup+131.104 s]
/proc/loadavg: 1.00 1.04 1.77 2/99 32464
/proc/meminfo: memFree=2880872/3368532 swapFree=1959840/1959888
[pid=32084] ppid=32082 vsize=281872 CPUtime=131.11
/proc/32084/stat : 32084 (ttsth-5-0) R 32082 32084 30226 0 -1 4202496 84504 0 0 0 13090 21 0 0 25 0 1 0 949787307 288636928 69832 4294967295 134512640 135237372 3215556064 3215555416 134732614 0 0 0 0 0 0 0 17 1 0 0 0
/proc/32084/statm: 70468 69838 88 177 0 70290 0
Current children cumulated CPU time (s) 131.11
Current children cumulated vsize (KiB) 281872

[startup+132.703 s]
/proc/loadavg: 1.00 1.04 1.77 2/99 32465
/proc/meminfo: memFree=2524880/3368532 swapFree=1959840/1959888
[pid=32084] ppid=32082 vsize=582696 CPUtime=132.71
/proc/32084/stat : 32084 (ttsth-5-0) R 32082 32084 30226 0 -1 4202496 159731 0 0 0 13229 42 0 0 25 0 1 0 949787307 596680704 144832 4294967295 134512640 135237372 3215556064 3209288744 134732614 0 0 0 0 0 0 0 17 1 0 0 0
/proc/32084/statm: 145674 144833 91 177 0 145496 0
Current children cumulated CPU time (s) 132.71
Current children cumulated vsize (KiB) 582696

[startup+133.503 s]
/proc/loadavg: 1.00 1.04 1.77 2/99 32465
/proc/meminfo: memFree=2409980/3368532 swapFree=1959840/1959888
[pid=32084] ppid=32082 vsize=604160 CPUtime=133.51
/proc/32084/stat : 32084 (ttsth-5-0) R 32082 32084 30226 0 -1 4204032 165101 0 0 0 13251 100 0 0 25 0 1 0 949787307 618659840 149945 4294967295 134512640 135237372 3215556064 3207172056 134730243 0 0 0 0 0 0 0 17 1 0 0 0
/proc/32084/statm: 151040 149945 104 177 0 150862 0
Current children cumulated CPU time (s) 133.51
Current children cumulated vsize (KiB) 604160

[startup+133.903 s]
/proc/loadavg: 1.00 1.04 1.77 2/99 32465
/proc/meminfo: memFree=2409980/3368532 swapFree=1959840/1959888
[pid=32084] ppid=32082 vsize=604160 CPUtime=133.91
/proc/32084/stat : 32084 (ttsth-5-0) R 32082 32084 30226 0 -1 4204032 165101 0 0 0 13251 140 0 0 25 0 1 0 949787307 618659840 149945 4294967295 134512640 135237372 3215556064 3207172056 134730243 0 0 0 0 0 0 0 17 1 0 0 0
/proc/32084/statm: 151040 149945 104 177 0 150862 0
Current children cumulated CPU time (s) 133.91
Current children cumulated vsize (KiB) 604160

[startup+134.103 s]
/proc/loadavg: 1.00 1.04 1.77 2/99 32465
/proc/meminfo: memFree=1899212/3368532 swapFree=1959840/1959888
[pid=32084] ppid=32082 vsize=604160 CPUtime=134.12
/proc/32084/stat : 32084 (ttsth-5-0) R 32082 32084 30226 0 -1 4204032 165419 0 0 0 13251 161 0 0 25 0 1 0 949787307 618659840 150263 4294967295 134512640 135237372 3215556064 3207172056 134730243 0 0 0 0 0 0 0 17 1 0 0 0
/proc/32084/statm: 151040 150263 422 177 0 150862 0
Current children cumulated CPU time (s) 134.12
Current children cumulated vsize (KiB) 604160

[startup+134.214 s]
/proc/loadavg: 1.00 1.04 1.77 2/99 32465
/proc/meminfo: memFree=1899212/3368532 swapFree=1959840/1959888
[pid=32084] ppid=32082 vsize=604160 CPUtime=134.23
/proc/32084/stat : 32084 (ttsth-5-0) R 32082 32084 30226 0 -1 4204032 166063 0 0 0 13251 172 0 0 25 0 1 0 949787307 618659840 150907 4294967295 134512640 135237372 3215556064 3207172056 134730243 0 0 0 0 0 0 0 17 1 0 0 0
/proc/32084/statm: 151040 150907 1066 177 0 150862 0
Current children cumulated CPU time (s) 134.23
Current children cumulated vsize (KiB) 604160

Child ended because it received signal 11 (SIGSEGV)
Child dumped core
Real time (s): 134.288
CPU time (s): 134.3
CPU user time (s): 132.51
CPU system time (s): 1.79
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 604160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 132.51
system time used= 1.79
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166110
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= 2
involuntary context switches= 204

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-30 13:15:04
IDJOB=1780318
IDBENCH=70968
IDSOLVER=632
FILE ID=tipi39/1780318-1243682104
PBS_JOBID=
Free space on /tmp= 5725 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-15-10p1.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780318-1243682104/watcher-1780318-1243682104 -o /tmp/evaluation-result-1780318-1243682104/solver-1780318-1243682104 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780318-1243682104.cnf

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

MD5SUM BENCH= 95ee3bccf00be0d94959b7512fd434b4
RANDOM SEED= 1650750460

Linux tipi39 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.067
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.067
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.10
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.067
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.067
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:       3042744 kB
Buffers:         88440 kB
Cached:         126940 kB
SwapCached:          0 kB
Active:         143220 kB
Inactive:        88076 kB
HighTotal:     2489216 kB
HighFree:      2348188 kB
LowTotal:       879316 kB
LowFree:        694556 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:           20044 kB
Writeback:           0 kB
AnonPages:       15944 kB
Mapped:           6056 kB
Slab:            84216 kB
SReclaimable:    73932 kB
SUnreclaim:      10284 kB
PageTables:        528 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    94796 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5138 MiB
End job on tipi39 at 2009-05-30 13:17:20