0.18/0.28 c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781535-1244989566.cnf
0.18/0.28 c Using SATTIMEOUT of 10000
0.18/0.28 c Using SATRAM of 2047
0.18/0.28 c Size of subset node = 16
0.18/0.28 c Variables = 75496
0.18/0.28 c Clauses = 222379
0.18/0.28 c Literals = 518883
0.18/0.28 c Reduced size:
0.18/0.28 c Variables = 75496
0.18/0.28 c Clauses = 222376
0.18/0.28 c Literals = 518877
0.18/0.28 c a2
0.48/0.51 c a1
21.10/21.10 c Independent sub-problems = 1
21.10/21.10 c Sub-problem with 75495 variables and 222376 clauses
21.10/21.10 c using permutation method 4
21.10/21.10 c count = 1
21.10/21.10 c Ordering finished 21.030 seconds
21.10/21.10 c mapped 21.090 seconds
21.10/21.10 c permuted 21.090 seconds
21.10/21.10 c about to sort
21.10/21.14 c sorted
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1781535-1244989566/watcher-1781535-1244989566 -o /tmp/evaluation-result-1781535-1244989566/solver-1781535-1244989566 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781535-1244989566.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: 5.78 6.54 4.51 2/187 32106
/proc/meminfo: memFree=18970580/36427776 swapFree=6140/10792
[pid=32106] ppid=32104 vsize=1540 CPUtime=0
/proc/32106/stat : 32106 (ttsth-5-0) R 32104 32106 15497 0 -1 4202496 292 0 0 0 0 0 0 0 20 0 1 0 658262948 1576960 249 18446744073709551615 134512640 135237372 4293883344 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/32106/statm: 385 249 75 177 0 207 0
[startup+0.084158 s]
/proc/loadavg: 5.78 6.54 4.51 2/187 32106
/proc/meminfo: memFree=18970580/36427776 swapFree=6140/10792
[pid=32106] ppid=32104 vsize=6704 CPUtime=0.08
/proc/32106/stat : 32106 (ttsth-5-0) R 32104 32106 15497 0 -1 4202496 1530 0 0 0 8 0 0 0 20 0 1 0 658262948 6864896 1487 18446744073709551615 134512640 135237372 4293883344 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/32106/statm: 1676 1488 75 177 0 1498 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6704
[startup+0.104141 s]
/proc/loadavg: 5.78 6.54 4.51 2/187 32106
/proc/meminfo: memFree=18970580/36427776 swapFree=6140/10792
[pid=32106] ppid=32104 vsize=8024 CPUtime=0.1
/proc/32106/stat : 32106 (ttsth-5-0) R 32104 32106 15497 0 -1 4202496 1862 0 0 0 10 0 0 0 20 0 1 0 658262948 8216576 1819 18446744073709551615 134512640 135237372 4293883344 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/32106/statm: 2006 1819 75 177 0 1828 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8024
[startup+0.300205 s]
/proc/loadavg: 5.78 6.54 4.51 2/187 32106
/proc/meminfo: memFree=18970580/36427776 swapFree=6140/10792
[pid=32106] ppid=32104 vsize=23172 CPUtime=0.28
/proc/32106/stat : 32106 (ttsth-5-0) R 32104 32106 15497 0 -1 4202496 5459 0 0 0 28 0 0 0 20 0 1 0 658262948 23728128 5416 18446744073709551615 134512640 135237372 4293883344 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/32106/statm: 5793 5418 76 177 0 5615 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23172
[startup+0.700243 s]
/proc/loadavg: 5.78 6.54 4.51 2/187 32106
/proc/meminfo: memFree=18970580/36427776 swapFree=6140/10792
[pid=32106] ppid=32104 vsize=38132 CPUtime=0.68
/proc/32106/stat : 32106 (ttsth-5-0) R 32104 32106 15497 0 -1 4202496 10005 0 0 0 66 2 0 0 20 0 1 0 658262948 39047168 9155 18446744073709551615 134512640 135237372 4293883344 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/32106/statm: 9533 9157 77 177 0 9355 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 38132
[startup+1.50026 s]
/proc/loadavg: 5.78 6.54 4.51 2/188 32107
/proc/meminfo: memFree=18930232/36427776 swapFree=6920/52076
[pid=32106] ppid=32104 vsize=42224 CPUtime=1.5
/proc/32106/stat : 32106 (ttsth-5-0) R 32104 32106 15497 0 -1 4202496 11051 0 0 0 146 4 0 0 20 0 1 0 658262948 43237376 10201 18446744073709551615 134512640 135237372 4293883344 18446744073709551615 134555253 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/32106/statm: 10556 10201 77 177 0 10378 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 42224
[startup+3.10041 s]
/proc/loadavg: 5.78 6.54 4.51 2/188 32107
/proc/meminfo: memFree=18929304/36427776 swapFree=6092/52408
[pid=32106] ppid=32104 vsize=42776 CPUtime=3.08
/proc/32106/stat : 32106 (ttsth-5-0) R 32104 32106 15497 0 -1 4202496 11146 0 0 0 304 4 0 0 20 0 1 0 658262948 43802624 10296 18446744073709551615 134512640 135237372 4293883344 18446744073709551615 134555299 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/32106/statm: 10694 10296 77 177 0 10516 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 42776
[startup+6.3007 s]
/proc/loadavg: 5.40 6.45 4.49 2/188 32107
/proc/meminfo: memFree=18927872/36427776 swapFree=6404/53668
[pid=32106] ppid=32104 vsize=43232 CPUtime=6.3
/proc/32106/stat : 32106 (ttsth-5-0) R 32104 32106 15497 0 -1 4202496 11279 0 0 0 626 4 0 0 20 0 1 0 658262948 44269568 10429 18446744073709551615 134512640 135237372 4293883344 18446744073709551615 134550999 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/32106/statm: 10808 10429 77 177 0 10630 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 43232
[startup+12.7013 s]
/proc/loadavg: 5.05 6.36 4.47 2/188 32107
/proc/meminfo: memFree=18926896/36427776 swapFree=6404/54652
[pid=32106] ppid=32104 vsize=44344 CPUtime=12.68
/proc/32106/stat : 32106 (ttsth-5-0) R 32104 32106 15497 0 -1 4202496 11524 0 0 0 1264 4 0 0 20 0 1 0 658262948 45408256 10674 18446744073709551615 134512640 135237372 4293883344 18446744073709551615 134600704 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/32106/statm: 11086 10674 77 177 0 10908 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 44344
Solver just ended. Dumping a history of the last processes samples
[startup+19.1019 s]
/proc/loadavg: 4.72 6.27 4.45 2/188 32107
/proc/meminfo: memFree=18926424/36427776 swapFree=6404/55292
[pid=32106] ppid=32104 vsize=44740 CPUtime=19.1
/proc/32106/stat : 32106 (ttsth-5-0) R 32104 32106 15497 0 -1 4202496 11647 0 0 0 1904 6 0 0 20 0 1 0 658262948 45813760 10797 18446744073709551615 134512640 135237372 4293883344 18446744073709551615 134600718 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/32106/statm: 11185 10797 77 177 0 11007 0
Current children cumulated CPU time (s) 19.1
Current children cumulated vsize (KiB) 44740
[startup+22.3021 s]
/proc/loadavg: 4.43 6.18 4.44 2/188 32107
/proc/meminfo: memFree=18553772/36427776 swapFree=6448/427496
[pid=32106] ppid=32104 vsize=632232 CPUtime=22.28
/proc/32106/stat : 32106 (ttsth-5-0) R 32104 32106 15497 0 -1 4202496 158661 0 0 0 2172 56 0 0 20 0 1 0 658262948 647405568 157375 18446744073709551615 134512640 135237372 4293883344 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/32106/statm: 158058 157383 88 177 0 157880 0
Current children cumulated CPU time (s) 22.28
Current children cumulated vsize (KiB) 632232
[startup+23.9023 s]
/proc/loadavg: 4.43 6.18 4.44 2/188 32107
/proc/meminfo: memFree=18138924/36427776 swapFree=6448/837560
[pid=32106] ppid=32104 vsize=826428 CPUtime=23.88
/proc/32106/stat : 32106 (ttsth-5-0) R 32104 32106 15497 0 -1 4204032 207605 0 0 0 2222 166 0 0 20 0 1 0 658262948 846262272 206319 18446744073709551615 134512640 135237372 4293883344 18446744073709551615 134730080 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/32106/statm: 206607 206319 91 177 0 206429 0
Current children cumulated CPU time (s) 23.88
Current children cumulated vsize (KiB) 826428
[startup+24.3023 s]
/proc/loadavg: 4.43 6.18 4.44 2/188 32107
/proc/meminfo: memFree=17586464/36427776 swapFree=6460/837340
[pid=32106] ppid=32104 vsize=826428 CPUtime=24.28
/proc/32106/stat : 32106 (ttsth-5-0) R 32104 32106 15497 0 -1 4204032 207605 0 0 0 2222 206 0 0 20 0 1 0 658262948 846262272 206319 18446744073709551615 134512640 135237372 4293883344 18446744073709551615 134730080 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/32106/statm: 206607 206319 91 177 0 206429 0
Current children cumulated CPU time (s) 24.28
Current children cumulated vsize (KiB) 826428
[startup+24.7024 s]
/proc/loadavg: 4.43 6.18 4.44 2/188 32107
/proc/meminfo: memFree=17586464/36427776 swapFree=6460/837340
[pid=32106] ppid=32104 vsize=0 CPUtime=24.68
/proc/32106/stat : 32106 (ttsth-5-0) R 32104 32106 15497 0 -1 4204036 207606 0 0 0 2222 246 0 0 20 0 1 0 658262948 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/32106/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 24.68
Current children cumulated vsize (KiB) 0
Child ended because it received signal 11 (SIGSEGV)
Child dumped core
Real time (s): 24.7754
CPU time (s): 24.7695
CPU user time (s): 22.2374
CPU system time (s): 2.53216
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 826428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.2374
system time used= 2.53216
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207606
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1649848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 44
runsolver used 0.052003 second user time and 0.192012 second system time
The end
Begin job on xenhost3-49 at 2009-06-14 16:26:06
IDJOB=1781535
IDBENCH=71767
IDSOLVER=634
FILE ID=xenhost3-49/1781535-1244989566
PBS_JOBID=
Free space on /tmp= 7018 MiB
SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT_RACE06/manol-pipe-g7nidw.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1781535-1244989566/watcher-1781535-1244989566 -o /tmp/evaluation-result-1781535-1244989566/solver-1781535-1244989566 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781535-1244989566.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= a0303c742e981cc0d4711ad3ac66f146
RANDOM SEED= 1862532719
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: 18970580 kB
Buffers: 533792 kB
Cached: 14121980 kB
SwapCached: 0 kB
Active: 4182876 kB
Inactive: 10484260 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 3904 kB
Writeback: 0 kB
AnonPages: 10792 kB
Mapped: 5476 kB
Slab: 735876 kB
SReclaimable: 709112 kB
SUnreclaim: 26764 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 36632 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 6212 MiB
End job on xenhost3-49 at 2009-06-14 16:26:31