21.38/21.40 c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776585-1244935208.cnf
21.38/21.40 c Using SATTIMEOUT of 10000
21.38/21.40 c Using SATRAM of 2047
21.38/21.40 c Size of subset node = 16
21.38/21.40 c Variables = 520770
21.38/21.40 c Clauses = 13380350
21.38/21.40 c Literals = 39210884
21.38/21.40 c Reduced size:
21.38/21.40 c Variables = 520770
21.38/21.40 c Clauses = 13380313
21.38/21.40 c Literals = 39210802
21.38/21.40 c a2
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1776585-1244935208/watcher-1776585-1244935208 -o /tmp/evaluation-result-1776585-1244935208/solver-1776585-1244935208 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776585-1244935208.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: 8.54 3.42 2.13 2/184 19720
/proc/meminfo: memFree=18745920/36427776 swapFree=4664/8176
[pid=19720] ppid=19718 vsize=1576 CPUtime=0
/proc/19720/stat : 19720 (ttsth-5-0) R 19718 19720 15497 0 -1 4202496 278 0 0 0 0 0 0 0 20 0 1 0 652828059 1613824 234 18446744073709551615 134512640 135237372 4291222336 18446744073709551615 134732614 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/19720/statm: 394 235 75 177 0 216 0
[startup+0.085177 s]
/proc/loadavg: 8.54 3.42 2.13 2/184 19720
/proc/meminfo: memFree=18745920/36427776 swapFree=4664/8176
[pid=19720] ppid=19718 vsize=6464 CPUtime=0.08
/proc/19720/stat : 19720 (ttsth-5-0) R 19718 19720 15497 0 -1 4202496 1510 0 0 0 6 2 0 0 20 0 1 0 652828059 6619136 1466 18446744073709551615 134512640 135237372 4291222336 18446744073709551615 134732614 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/19720/statm: 1616 1468 75 177 0 1438 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6464
[startup+0.101178 s]
/proc/loadavg: 8.54 3.42 2.13 2/184 19720
/proc/meminfo: memFree=18745920/36427776 swapFree=4664/8176
[pid=19720] ppid=19718 vsize=7568 CPUtime=0.1
/proc/19720/stat : 19720 (ttsth-5-0) R 19718 19720 15497 0 -1 4202496 1766 0 0 0 8 2 0 0 20 0 1 0 652828059 7749632 1722 18446744073709551615 134512640 135237372 4291222336 18446744073709551615 134730145 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/19720/statm: 1892 1723 75 177 0 1714 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7568
[startup+0.30122 s]
/proc/loadavg: 8.54 3.42 2.13 2/184 19720
/proc/meminfo: memFree=18745920/36427776 swapFree=4664/8176
[pid=19720] ppid=19718 vsize=20384 CPUtime=0.28
/proc/19720/stat : 19720 (ttsth-5-0) R 19718 19720 15497 0 -1 4202496 4994 0 0 0 24 4 0 0 20 0 1 0 652828059 20873216 4950 18446744073709551615 134512640 135237372 4291222336 18446744073709551615 134732614 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/19720/statm: 5096 4951 75 177 0 4918 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 20384
[startup+0.70126 s]
/proc/loadavg: 8.54 3.42 2.13 2/184 19720
/proc/meminfo: memFree=18745920/36427776 swapFree=4664/8176
[pid=19720] ppid=19718 vsize=44608 CPUtime=0.68
/proc/19720/stat : 19720 (ttsth-5-0) R 19718 19720 15497 0 -1 4202496 11024 0 0 0 56 12 0 0 20 0 1 0 652828059 45678592 10980 18446744073709551615 134512640 135237372 4291222336 18446744073709551615 134732614 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/19720/statm: 11152 10981 75 177 0 10974 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 44608
[startup+1.5013 s]
/proc/loadavg: 8.02 3.40 2.13 2/185 19721
/proc/meminfo: memFree=18689236/36427776 swapFree=4576/71080
[pid=19720] ppid=19718 vsize=96468 CPUtime=1.48
/proc/19720/stat : 19720 (ttsth-5-0) R 19718 19720 15497 0 -1 4202496 23915 0 0 0 132 16 0 0 20 0 1 0 652828059 98783232 23871 18446744073709551615 134512640 135237372 4291222336 18446744073709551615 134732614 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/19720/statm: 24117 23871 75 177 0 23939 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 96468
[startup+3.10148 s]
/proc/loadavg: 8.02 3.40 2.13 2/185 19721
/proc/meminfo: memFree=18618204/36427776 swapFree=4604/141672
[pid=19720] ppid=19718 vsize=198540 CPUtime=3.08
/proc/19720/stat : 19720 (ttsth-5-0) R 19718 19720 15497 0 -1 4202496 48981 0 0 0 280 28 0 0 20 0 1 0 652828059 203304960 48937 18446744073709551615 134512640 135237372 4291222336 18446744073709551615 134732614 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/19720/statm: 49635 48937 75 177 0 49457 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 198540
[startup+6.30172 s]
/proc/loadavg: 7.46 3.36 2.13 2/185 19721
/proc/meminfo: memFree=18412444/36427776 swapFree=4612/347428
[pid=19720] ppid=19718 vsize=402236 CPUtime=6.28
/proc/19720/stat : 19720 (ttsth-5-0) R 19718 19720 15497 0 -1 4202496 98547 0 0 0 576 52 0 0 20 0 1 0 652828059 411889664 98503 18446744073709551615 134512640 135237372 4291222336 18446744073709551615 134732614 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/19720/statm: 100559 98504 75 177 0 100381 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 402236
[startup+12.7023 s]
/proc/loadavg: 6.94 3.32 2.12 2/185 19721
/proc/meminfo: memFree=18017092/36427776 swapFree=4612/742200
[pid=19720] ppid=19718 vsize=795064 CPUtime=12.68
/proc/19720/stat : 19720 (ttsth-5-0) R 19718 19720 15497 0 -1 4202496 192936 0 0 0 1170 98 0 0 20 0 1 0 652828059 814145536 192892 18446744073709551615 134512640 135237372 4291222336 18446744073709551615 134732614 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/19720/statm: 198766 192893 75 177 0 198588 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 795064
[startup+25.5034 s]
/proc/loadavg: 6.03 3.24 2.11 2/185 19721
/proc/meminfo: memFree=16968492/36427776 swapFree=4616/1788384
[pid=19720] ppid=19718 vsize=2081312 CPUtime=25.4
/proc/19720/stat : 19720 (ttsth-5-0) R 19718 19720 15497 0 -1 4202496 459387 0 0 0 2342 198 0 0 20 0 1 0 652828059 2131263488 459342 18446744073709551615 134512640 135237372 4291222336 18446744073709551615 134758787 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/19720/statm: 520361 459351 76 177 0 520183 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 2081312
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+25.6034 s]
/proc/loadavg: 5.62 3.20 2.10 2/185 19721
/proc/meminfo: memFree=16877916/36427776 swapFree=4616/1871384
[pid=19720] ppid=19718 vsize=2110916 CPUtime=25.5
/proc/19720/stat : 19720 (ttsth-5-0) R 19718 19720 15497 0 -1 4202496 466303 0 0 0 2352 198 0 0 20 0 1 0 652828059 2161577984 466258 18446744073709551615 134512640 135237372 4291222336 18446744073709551615 134762750 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/19720/statm: 527793 466259 76 177 0 527615 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 2110916
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+25.7114 s]
/proc/loadavg: 5.62 3.20 2.10 2/185 19721
/proc/meminfo: memFree=16877916/36427776 swapFree=4616/1871384
[pid=19720] ppid=19718 vsize=0 CPUtime=25.6
/proc/19720/stat : 19720 (ttsth-5-0) R 19718 19720 15497 0 -1 4203524 466312 0 0 0 2352 208 0 0 20 0 1 0 652828059 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/19720/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.6
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 25.7864
CPU time (s): 25.6896
CPU user time (s): 23.5295
CPU system time (s): 2.16014
CPU usage (%): 99.6247
Max. virtual memory (cumulated for all children) (KiB): 2110916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.5295
system time used= 2.16013
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466312
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= 80
runsolver used 0.076004 second user time and 0.16801 second system time
The end
Begin job on xenhost3-49 at 2009-06-14 01:20:08
IDJOB=1776585
IDBENCH=20582
IDSOLVER=634
FILE ID=xenhost3-49/1776585-1244935208
PBS_JOBID=
Free space on /tmp= 6725 MiB
SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug5.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1776585-1244935208/watcher-1776585-1244935208 -o /tmp/evaluation-result-1776585-1244935208/solver-1776585-1244935208 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776585-1244935208.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= c77a56af24208a6401c763e11a38de01
RANDOM SEED= 666291661
Linux xenhost3-49 2.6.27.5 #1 SMP Mon Mar 30 10:34:22 CEST 2009 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 0
cpu cores : 1
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 0
cpu cores : 1
apicid : 8
initial apicid : 8
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 0
cpu cores : 1
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 0
cpu cores : 1
apicid : 24
initial apicid : 24
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 2
cpu cores : 1
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 2
cpu cores : 1
apicid : 10
initial apicid : 10
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 2
cpu cores : 1
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 2
cpu cores : 1
apicid : 26
initial apicid : 26
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 1
cpu cores : 1
apicid : 1
initial apicid : 1
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 1
cpu cores : 1
apicid : 9
initial apicid : 9
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 1
cpu cores : 1
apicid : 17
initial apicid : 17
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 1
cpu cores : 1
apicid : 25
initial apicid : 25
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 3
cpu cores : 1
apicid : 3
initial apicid : 3
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 3
cpu cores : 1
apicid : 11
initial apicid : 11
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 3
cpu cores : 1
apicid : 19
initial apicid : 19
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 3
cpu cores : 1
apicid : 27
initial apicid : 27
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 36427776 kB
MemFree: 18745920 kB
Buffers: 473600 kB
Cached: 14422144 kB
SwapCached: 0 kB
Active: 4119548 kB
Inactive: 10784236 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 307932 kB
Writeback: 0 kB
AnonPages: 8176 kB
Mapped: 4000 kB
Slab: 724112 kB
SReclaimable: 695444 kB
SUnreclaim: 28668 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29856 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 6725 MiB
End job on xenhost3-49 at 2009-06-14 01:20:45