runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3712011-1338185936/watcher-3712011-1338185936 -o /tmp/evaluation-result-3712011-1338185936/solver-3712011-1338185936 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712011-1338185936.wbo
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 10769
/proc/meminfo: memFree=31325196/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 818 0 0 0 0 0 0 0 20 0 1 0 284717959 6356992 740 33554432000 4194304 8973514 140734720809504 140735330604568 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 1552 741 425 1167 0 333 0
[startup+0.0247131 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 10769
/proc/meminfo: memFree=31325196/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=8256 CPUtime=0.02 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 1158 0 0 0 2 0 0 0 20 0 1 0 284717959 8454144 1080 33554432000 4194304 8973514 140734720809504 140735330604568 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 2064 1080 427 1167 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8256
[startup+0.100258 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 10769
/proc/meminfo: memFree=31325196/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=10304 CPUtime=0.09 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 1870 0 0 0 9 0 0 0 20 0 1 0 284717959 10551296 1792 33554432000 4194304 8973514 140734720809504 140735330604568 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 2576 1792 440 1167 0 1357 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10304
[startup+0.300228 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 10769
/proc/meminfo: memFree=31325196/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=11328 CPUtime=0.29 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 1951 0 0 0 29 0 0 0 20 0 1 0 284717959 11599872 1873 33554432000 4194304 8973514 140734720809504 140734720791488 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 2832 1873 440 1167 0 1613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11328
[startup+0.700257 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 10769
/proc/meminfo: memFree=31325196/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=17472 CPUtime=0.69 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 3690 0 0 0 69 0 0 0 20 0 1 0 284717959 17891328 3612 33554432000 4194304 8973514 140734720809504 140734720791488 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 4368 3612 468 1167 0 3149 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17472
[startup+1.50026 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 10770
/proc/meminfo: memFree=31311548/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=23616 CPUtime=1.48 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 5226 0 0 0 148 0 0 0 20 0 1 0 284717959 24182784 5148 33554432000 4194304 8973514 140734720809504 140734720807424 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 5904 5148 468 1167 0 4685 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 23616
[startup+3.10027 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 10770
/proc/meminfo: memFree=31305968/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=23616 CPUtime=3.09 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 5226 0 0 0 308 1 0 0 20 0 1 0 284717959 24182784 5148 33554432000 4194304 8973514 140734720809504 140734720809000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 5904 5148 468 1167 0 4685 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23616
[startup+6.30027 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 10770
/proc/meminfo: memFree=31303488/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=25664 CPUtime=6.29 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 5738 0 0 0 627 2 0 0 20 0 1 0 284717959 26279936 5660 33554432000 4194304 8973514 140734720809504 140734720791488 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 6416 5660 468 1167 0 5197 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25664
[startup+12.7003 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 10770
/proc/meminfo: memFree=31302248/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=26688 CPUtime=12.68 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 5999 0 0 0 1264 4 0 0 20 0 1 0 284717959 27328512 5916 33554432000 4194304 8973514 140734720809504 140734720791488 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 6672 5916 468 1167 0 5453 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26688
[startup+25.5003 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 10770
/proc/meminfo: memFree=31296228/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=33856 CPUtime=25.48 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 7795 0 0 0 2537 11 0 0 20 0 1 0 284717959 34668544 7709 33554432000 4194304 8973514 140734720809504 140734720808768 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 8464 7709 469 1167 0 7245 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33856
[startup+51.1003 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 10770
/proc/meminfo: memFree=31289160/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=41024 CPUtime=51.07 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 9458 0 0 0 5083 24 0 0 20 0 1 0 284717959 42008576 9372 33554432000 4194304 8973514 140734720809504 140734720791488 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 10256 9372 469 1167 0 9037 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41024
[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 10773
/proc/meminfo: memFree=31280828/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=46144 CPUtime=102.27 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 10872 0 0 0 10178 49 0 0 20 0 1 0 284717959 47251456 10781 33554432000 4194304 8973514 140734720809504 140734720808824 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 11536 10781 469 1167 0 10317 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 46144
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 10773
/proc/meminfo: memFree=31277732/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=49216 CPUtime=162.26 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 11642 0 0 0 16150 76 0 0 20 0 1 0 284717959 50397184 11549 33554432000 4194304 8973514 140734720809504 140734720809000 7841851 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 12304 11549 469 1167 0 11085 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 49216
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 10773
/proc/meminfo: memFree=31276676/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=49216 CPUtime=222.24 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 11643 0 0 0 22116 108 0 0 20 0 1 0 284717959 50397184 11549 33554432000 4194304 8973514 140734720809504 140734720809000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 12304 11549 469 1167 0 11085 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 49216
[startup+282.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 10774
/proc/meminfo: memFree=31275560/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=50240 CPUtime=282.24 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 11699 0 0 0 28086 138 0 0 20 0 1 0 284717959 51445760 11605 33554432000 4194304 8973514 140734720809504 140734720809000 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 12560 11605 469 1167 0 11341 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 50240
[startup+342.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 10926
/proc/meminfo: memFree=31265680/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=52288 CPUtime=342.22 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 12412 0 0 0 34057 165 0 0 20 0 1 0 284717959 53542912 12317 33554432000 4194304 8973514 140734720809504 140734720809000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 13072 12317 469 1167 0 11853 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 52288
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 11002
/proc/meminfo: memFree=31240836/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=52288 CPUtime=402.21 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 12412 0 0 0 40025 196 0 0 20 0 1 0 284717959 53542912 12317 33554432000 4194304 8973514 140734720809504 140734720807424 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 13072 12317 469 1167 0 11853 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 52288
Solver just ended. Dumping a history of the last processes samples
[startup+403.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 11040
/proc/meminfo: memFree=31307976/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=52288 CPUtime=403.01 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 12412 0 0 0 40105 196 0 0 20 0 1 0 284717959 53542912 12317 33554432000 4194304 8973514 140734720809504 140734720809000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 13072 12317 469 1167 0 11853 0
Current children cumulated CPU time (s) 403.01
Current children cumulated vsize (KiB) 52288
[startup+404.7 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 11116
/proc/meminfo: memFree=31283832/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=52288 CPUtime=404.62 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 12412 0 0 0 40265 197 0 0 20 0 1 0 284717959 53542912 12317 33554432000 4194304 8973514 140734720809504 140734720808768 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 13072 12317 469 1167 0 11853 0
Current children cumulated CPU time (s) 404.62
Current children cumulated vsize (KiB) 52288
[startup+406.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11116
/proc/meminfo: memFree=31283832/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=52288 CPUtime=406.21 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 12412 0 0 0 40423 198 0 0 20 0 1 0 284717959 53542912 12317 33554432000 4194304 8973514 140734720809504 140734720809000 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 13072 12317 469 1167 0 11853 0
Current children cumulated CPU time (s) 406.21
Current children cumulated vsize (KiB) 52288
[startup+406.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11116
/proc/meminfo: memFree=31283832/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=52288 CPUtime=406.61 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 12412 0 0 0 40462 199 0 0 20 0 1 0 284717959 53542912 12317 33554432000 4194304 8973514 140734720809504 140734720809000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 13072 12317 469 1167 0 11853 0
Current children cumulated CPU time (s) 406.61
Current children cumulated vsize (KiB) 52288
[startup+407.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11116
/proc/meminfo: memFree=31277756/32873844 swapFree=7632/7632
[pid=10769] ppid=10767 vsize=52288 CPUtime=407.01 cores=0,2,4,6
/proc/10769/stat : 10769 (toysat) R 10767 10769 7805 0 -1 4202496 12412 0 0 0 40502 199 0 0 20 0 1 0 284717959 53542912 12317 33554432000 4194304 8973514 140734720809504 140734720809000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10769/statm: 13072 12317 469 1167 0 11853 0
Current children cumulated CPU time (s) 407.01
Current children cumulated vsize (KiB) 52288
Child status: 0
Real time (s): 407.166
CPU time (s): 407.089
CPU user time (s): 405.091
CPU system time (s): 1.9977
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 52288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 405.091
system time used= 1.9977
maximum resident set size= 49284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12416
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= 20
involuntary context switches= 629
runsolver used 0.620905 second user time and 2.10468 second system time
The end
Begin job on node141 at 2012-05-28 08:18:56
IDJOB=3712011
IDBENCH=78982
IDSOLVER=2291
FILE ID=node141/3712011-1338185936
RUNJOBID= node141-1338174290-9574
PBS_JOBID= 14624547
Free space on /tmp= 71536 MiB
SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo
COMMAND LINE= HOME/toysat --wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712011-1338185936/watcher-3712011-1338185936 -o /tmp/evaluation-result-3712011-1338185936/solver-3712011-1338185936 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712011-1338185936.wbo
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 908c51b3c7715396d94712713af78fd9
RANDOM SEED=546575370
node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.744
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.48
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 : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.744
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
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 : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.744
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.93
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 : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.744
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.92
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 : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.744
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.92
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 : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.744
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
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 : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.744
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.92
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 : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.744
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32873844 kB
MemFree: 31325088 kB
Buffers: 277832 kB
Cached: 371848 kB
SwapCached: 220 kB
Active: 253172 kB
Inactive: 458064 kB
Active(anon): 51348 kB
Inactive(anon): 11292 kB
Active(file): 201824 kB
Inactive(file): 446772 kB
Unevictable: 7632 kB
Mlocked: 7632 kB
SwapTotal: 67108856 kB
SwapFree: 67108636 kB
Dirty: 7392 kB
Writeback: 0 kB
AnonPages: 103736 kB
Mapped: 12432 kB
Shmem: 172 kB
Slab: 697104 kB
SReclaimable: 139608 kB
SUnreclaim: 557496 kB
KernelStack: 1472 kB
PageTables: 3800 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545776 kB
Committed_AS: 174608 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346368 kB
VmallocChunk: 34341987984 kB
HardwareCorrupted: 0 kB
AnonHugePages: 81920 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7872 kB
DirectMap2M: 33538048 kB
Free space on /tmp at the end= 71528 MiB
End job on node141 at 2012-05-28 08:25:44