runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3463670-1307177400/watcher-3463670-1307177400 -o /tmp/evaluation-result-3463670-1307177400/solver-3463670-1307177400 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463670-1307177400.opb
running on 4 cores: 1,3,5,7
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: 2.05 2.05 1.94 2/498 18827
/proc/meminfo: memFree=29042276/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=11192 CPUtime=0.01 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 439 0 0 0 1 0 0 0 25 0 1 0 829339620 11460608 363 33554432000 134512640 137138936 4290898912 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 2798 363 184 642 0 2154 0
[startup+0.0258811 s]
/proc/loadavg: 2.05 2.05 1.94 2/498 18827
/proc/meminfo: memFree=29042276/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=11312 CPUtime=0.02 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 524 0 0 0 2 0 0 0 25 0 1 0 829339620 11583488 430 33554432000 134512640 137138936 4290898912 18446744073709551615 134709210 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 2828 430 218 642 0 2184 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11312
[startup+0.100869 s]
/proc/loadavg: 2.05 2.05 1.94 2/498 18827
/proc/meminfo: memFree=29042276/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=15512 CPUtime=0.09 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 3873 0 0 0 9 0 0 0 25 0 1 0 829339620 15884288 924 33554432000 134512640 137138936 4290898912 18446744073709551615 135457122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 3878 924 278 642 0 3234 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15512
[startup+0.300839 s]
/proc/loadavg: 2.05 2.05 1.94 2/498 18827
/proc/meminfo: memFree=29042276/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=16268 CPUtime=0.29 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 13849 0 0 0 27 2 0 0 25 0 1 0 829339620 16658432 972 33554432000 134512640 137138936 4290898912 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 4067 975 286 642 0 3423 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16268
[startup+0.700768 s]
/proc/loadavg: 2.05 2.05 1.94 2/498 18827
/proc/meminfo: memFree=29042276/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=15644 CPUtime=0.69 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 33759 0 0 0 65 4 0 0 25 0 1 0 829339620 16019456 853 33554432000 134512640 137138936 4290898912 18446744073709551615 134731538 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 3911 853 286 642 0 3267 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15644
[startup+1.50064 s]
/proc/loadavg: 2.05 2.05 1.94 3/499 18828
/proc/meminfo: memFree=29038920/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=14708 CPUtime=1.49 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 64413 0 0 0 142 7 0 0 25 0 1 0 829339620 15060992 834 33554432000 134512640 137138936 4290898912 18446744073709551615 135436669 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 3677 835 287 642 0 3033 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14708
[startup+3.10038 s]
/proc/loadavg: 2.05 2.05 1.94 3/499 18828
/proc/meminfo: memFree=29037556/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=15624 CPUtime=3.09 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 137105 0 0 0 295 14 0 0 25 0 1 0 829339620 15998976 906 33554432000 134512640 137138936 4290898912 18446744073709551615 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 3906 906 287 642 0 3262 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15624
[startup+6.30085 s]
/proc/loadavg: 2.05 2.05 1.94 3/499 18828
/proc/meminfo: memFree=29037544/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=15600 CPUtime=6.29 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 304827 0 0 0 597 32 0 0 25 0 1 0 829339620 15974400 904 33554432000 134512640 137138936 4290898912 18446744073709551615 135455888 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 3900 904 287 642 0 3256 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15600
[startup+12.7007 s]
/proc/loadavg: 2.04 2.05 1.94 3/499 18828
/proc/meminfo: memFree=29037124/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=15344 CPUtime=12.69 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 590303 0 0 0 1206 63 0 0 25 0 1 0 829339620 15712256 991 33554432000 134512640 137138936 4290898912 18446744073709551615 135436669 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 3836 993 287 642 0 3192 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15344
[startup+25.5006 s]
/proc/loadavg: 2.03 2.04 1.94 3/499 18828
/proc/meminfo: memFree=29036024/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=16932 CPUtime=25.49 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 1148347 0 0 0 2425 124 0 0 25 0 1 0 829339620 17338368 1180 33554432000 134512640 137138936 4290898912 18446744073709551615 134848318 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 4233 1188 287 642 0 3589 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16932
[startup+51.1003 s]
/proc/loadavg: 2.09 2.06 1.94 3/499 18828
/proc/meminfo: memFree=29032808/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=16764 CPUtime=51.09 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 2456220 0 0 0 4849 260 0 0 25 0 1 0 829339620 17166336 1348 33554432000 134512640 137138936 4290898912 18446744073709551615 135436669 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 4191 1348 288 642 0 3547 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16764
[startup+102.319 s]
/proc/loadavg: 2.04 2.05 1.94 3/499 18830
/proc/meminfo: memFree=29032416/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=17692 CPUtime=102.31 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 4717602 0 0 0 9725 506 0 0 25 0 1 0 829339620 18116608 1589 33554432000 134512640 137138936 4290898912 18446744073709551615 135412751 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 4423 1590 288 642 0 3779 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 17692
[startup+162.301 s]
/proc/loadavg: 2.01 2.04 1.94 3/499 18832
/proc/meminfo: memFree=29031660/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=18464 CPUtime=162.29 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 7293630 0 0 0 15445 784 0 0 25 0 1 0 829339620 18907136 1600 33554432000 134512640 137138936 4290898912 18446744073709551615 134713139 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 4616 1600 288 642 0 3972 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 18464
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 1.94 3/499 18834
/proc/meminfo: memFree=29031260/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=18836 CPUtime=222.29 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 9708204 0 0 0 21186 1043 0 0 25 0 1 0 829339620 19288064 1856 33554432000 134512640 137138936 4290898912 18446744073709551615 134840703 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 4709 1856 288 642 0 4065 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 18836
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/499 18834
/proc/meminfo: memFree=29031500/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=19428 CPUtime=282.29 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 12519069 0 0 0 26884 1345 0 0 25 0 1 0 829339620 19894272 1849 33554432000 134512640 137138936 4290898912 18446744073709551615 135457300 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 4857 1849 288 642 0 4213 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 19428
Solver just ended. Dumping a history of the last processes samples
[startup+294.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/499 18836
/proc/meminfo: memFree=29032244/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=19260 CPUtime=294.3 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 12997553 0 0 0 28031 1399 0 0 25 0 1 0 829339620 19722240 1811 33554432000 134512640 137138936 4290898912 18446744073709551615 135444632 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 4815 1811 288 642 0 4171 0
Current children cumulated CPU time (s) 294.3
Current children cumulated vsize (KiB) 19260
[startup+307.1 s]
/proc/loadavg: 2.00 2.02 1.94 3/499 18836
/proc/meminfo: memFree=29032616/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=19180 CPUtime=307.09 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 13479474 0 0 0 29258 1451 0 0 25 0 1 0 829339620 19640320 1945 33554432000 134512640 137138936 4290898912 18446744073709551615 135443988 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 4795 1945 288 642 0 4151 0
Current children cumulated CPU time (s) 307.09
Current children cumulated vsize (KiB) 19180
[startup+313.519 s]
/proc/loadavg: 2.00 2.02 1.94 3/499 18836
/proc/meminfo: memFree=29032244/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=18580 CPUtime=313.52 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 13744153 0 0 0 29872 1480 0 0 25 0 1 0 829339620 19025920 1962 33554432000 134512640 137138936 4290898912 18446744073709551615 135379723 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 4645 1962 288 642 0 4001 0
Current children cumulated CPU time (s) 313.52
Current children cumulated vsize (KiB) 18580
[startup+316.701 s]
/proc/loadavg: 2.00 2.02 1.94 3/499 18836
/proc/meminfo: memFree=29032864/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=18848 CPUtime=316.71 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 13869813 0 0 0 30177 1494 0 0 25 0 1 0 829339620 19300352 1809 33554432000 134512640 137138936 4290898912 18446744073709551615 135445287 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 4712 1809 288 642 0 4068 0
Current children cumulated CPU time (s) 316.71
Current children cumulated vsize (KiB) 18848
[startup+317.5 s]
/proc/loadavg: 2.00 2.02 1.94 3/499 18836
/proc/meminfo: memFree=29032864/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=19308 CPUtime=317.49 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 13904779 0 0 0 30250 1499 0 0 25 0 1 0 829339620 19771392 1836 33554432000 134512640 137138936 4290898912 18446744073709551615 135070985 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 4827 1836 288 642 0 4183 0
Current children cumulated CPU time (s) 317.49
Current children cumulated vsize (KiB) 19308
[startup+318.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/499 18836
/proc/meminfo: memFree=29032244/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=18260 CPUtime=318.3 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 13927541 0 0 0 30328 1502 0 0 25 0 1 0 829339620 18698240 1681 33554432000 134512640 137138936 4290898912 18446744073709551615 134733978 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 4565 1692 288 642 0 3921 0
Current children cumulated CPU time (s) 318.3
Current children cumulated vsize (KiB) 18260
[startup+318.5 s]
/proc/loadavg: 2.00 2.02 1.94 3/499 18836
/proc/meminfo: memFree=29032244/32951132 swapFree=57925096/67111528
[pid=18827] ppid=18825 vsize=15800 CPUtime=318.5 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 16811 0 -1 4202496 13937309 0 0 0 30347 1503 0 0 25 0 1 0 829339620 16179200 1590 33554432000 134512640 137138936 4290898912 18446744073709551615 135783832 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18827/statm: 3950 1590 288 642 0 3306 0
Current children cumulated CPU time (s) 318.5
Current children cumulated vsize (KiB) 15800
Child status: 0
Real time (s): 318.538
CPU time (s): 318.542
CPU user time (s): 303.505
CPU system time (s): 15.0367
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 19928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 303.505
system time used= 15.0367
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13939545
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= 5
involuntary context switches= 545
runsolver used 1.54676 second user time and 3.60745 second system time
The end
Begin job on node129 at 2011-06-04 10:50:00
IDJOB=3463670
IDBENCH=2204
IDSOLVER=1955
FILE ID=node129/3463670-1307177400
RUNJOBID= node129-1307175483-18621
PBS_JOBID= 13508828
Free space on /tmp= 73876 MiB
SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b2.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463670-1307177400/watcher-3463670-1307177400 -o /tmp/evaluation-result-3463670-1307177400/solver-3463670-1307177400 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463670-1307177400.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 074c87f3baaaee27cf79610ce4b49729
RANDOM SEED=1897445784
node129.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/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.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
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.831
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
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.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
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.831
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
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.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
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.831
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
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.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
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.831
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 29042556 kB
Buffers: 320728 kB
Cached: 2140064 kB
SwapCached: 49348 kB
Active: 459824 kB
Inactive: 3167720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 29042556 kB
SwapTotal: 67111528 kB
SwapFree: 57925096 kB
Dirty: 3932 kB
Writeback: 0 kB
AnonPages: 1128680 kB
Mapped: 15640 kB
Slab: 153632 kB
PageTables: 59256 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 147345320 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73872 MiB
End job on node129 at 2011-06-04 10:55:19