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-3462474-1307181003/watcher-3462474-1307181003 -o /tmp/evaluation-result-3462474-1307181003/solver-3462474-1307181003 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462474-1307181003.opb
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: 2.00 2.02 2.00 2/424 1346
/proc/meminfo: memFree=25503244/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/1346/stat : 1346 (runsolver) R 1344 1346 31765 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 829698529 12079104 51 33554432000 4194304 5432328 140736300265152 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/1346/statm: 2949 51 31 303 0 2643 0
[startup+0.093204 s]
/proc/loadavg: 2.00 2.02 2.00 2/424 1346
/proc/meminfo: memFree=25503244/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=11704 CPUtime=0.08 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 544 0 0 0 8 0 0 0 25 0 1 0 829698529 11984896 496 33554432000 134512640 137138936 4289240816 18446744073709551615 134575767 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 2926 497 192 642 0 2282 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11704
[startup+0.101197 s]
/proc/loadavg: 2.00 2.02 2.00 2/424 1346
/proc/meminfo: memFree=25503244/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=11832 CPUtime=0.09 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 571 0 0 0 9 0 0 0 25 0 1 0 829698529 12115968 523 33554432000 134512640 137138936 4289240816 18446744073709551615 136504116 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 2958 524 192 642 0 2314 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11832
[startup+0.301166 s]
/proc/loadavg: 2.00 2.02 2.00 2/424 1346
/proc/meminfo: memFree=25503244/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=13508 CPUtime=0.29 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 979 0 0 0 29 0 0 0 25 0 1 0 829698529 13832192 931 33554432000 134512640 137138936 4289240816 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 3377 931 192 642 0 2733 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13508
[startup+0.701099 s]
/proc/loadavg: 2.00 2.02 2.00 2/424 1346
/proc/meminfo: memFree=25503244/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=15824 CPUtime=0.68 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 1549 0 0 0 68 0 0 0 25 0 1 0 829698529 16203776 1501 33554432000 134512640 137138936 4289240816 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 3956 1501 192 642 0 3312 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15824
[startup+1.50092 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1347
/proc/meminfo: memFree=25494432/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=16992 CPUtime=1.48 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 1871 0 0 0 148 0 0 0 25 0 1 0 829698529 17399808 1823 33554432000 134512640 137138936 4289240816 18446744073709551615 134542758 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 4248 1823 192 642 0 3604 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16992
[startup+3.10063 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1347
/proc/meminfo: memFree=25488108/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=18668 CPUtime=3.08 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 2283 0 0 0 307 1 0 0 25 0 1 0 829698529 19116032 2235 33554432000 134512640 137138936 4289240816 18446744073709551615 136504143 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 4667 2235 192 642 0 4023 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 18668
[startup+6.30106 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1348
/proc/meminfo: memFree=25477964/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=19440 CPUtime=6.29 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 2478 0 0 0 627 2 0 0 25 0 1 0 829698529 19906560 2430 33554432000 134512640 137138936 4289240816 18446744073709551615 134618113 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 4860 2430 192 642 0 4216 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19440
[startup+12.7009 s]
/proc/loadavg: 2.08 2.03 2.01 3/425 1348
/proc/meminfo: memFree=25458136/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=20056 CPUtime=12.69 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 2618 0 0 0 1265 4 0 0 25 0 1 0 829698529 20537344 2570 33554432000 134512640 137138936 4289240816 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 5014 2570 192 642 0 4370 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20056
[startup+25.5006 s]
/proc/loadavg: 2.06 2.03 2.00 3/425 1348
/proc/meminfo: memFree=25430092/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=21052 CPUtime=25.48 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 2869 0 0 0 2543 5 0 0 25 0 1 0 829698529 21557248 2821 33554432000 134512640 137138936 4289240816 18446744073709551615 134575640 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 5263 2821 192 642 0 4619 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21052
[startup+51.1009 s]
/proc/loadavg: 2.15 2.06 2.01 3/425 1349
/proc/meminfo: memFree=25418412/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=22932 CPUtime=51.09 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 3341 0 0 0 5100 9 0 0 25 0 1 0 829698529 23482368 3293 33554432000 134512640 137138936 4289240816 18446744073709551615 134599733 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 5733 3293 192 642 0 5089 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22932
[startup+102.317 s]
/proc/loadavg: 2.07 2.05 2.01 3/425 1350
/proc/meminfo: memFree=25416532/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=24300 CPUtime=102.31 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 3681 0 0 0 10214 17 0 0 25 0 1 0 829698529 24883200 3633 33554432000 134512640 137138936 4289240816 18446744073709551615 134575835 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 6075 3633 192 642 0 5431 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 24300
[startup+162.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/425 1352
/proc/meminfo: memFree=25413144/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=27640 CPUtime=162.29 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 4532 0 0 0 16205 24 0 0 25 0 1 0 829698529 28303360 4484 33554432000 134512640 137138936 4289240816 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 6910 4484 192 642 0 6266 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 27640
[startup+222.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/425 1353
/proc/meminfo: memFree=25324828/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=27648 CPUtime=222.29 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 4534 0 0 0 22197 32 0 0 25 0 1 0 829698529 28311552 4486 33554432000 134512640 137138936 4289240816 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 6912 4486 192 642 0 6268 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 27648
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1355
/proc/meminfo: memFree=25254632/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=27648 CPUtime=282.3 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 4534 0 0 0 28192 38 0 0 25 0 1 0 829698529 28311552 4486 33554432000 134512640 137138936 4289240816 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 6912 4486 192 642 0 6268 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 27648
[startup+342.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/425 1356
/proc/meminfo: memFree=25254232/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=28348 CPUtime=342.3 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 4705 0 0 0 34187 43 0 0 25 0 1 0 829698529 29028352 4657 33554432000 134512640 137138936 4289240816 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 7087 4657 192 642 0 6443 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 28348
[startup+402.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/425 1358
/proc/meminfo: memFree=25254296/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=28348 CPUtime=402.3 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 4705 0 0 0 40182 48 0 0 25 0 1 0 829698529 29028352 4657 33554432000 134512640 137138936 4289240816 18446744073709551615 134542217 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 7087 4657 192 642 0 6443 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 28348
Solver just ended. Dumping a history of the last processes samples
[startup+409.501 s]
/proc/loadavg: 2.05 2.03 2.00 3/425 1358
/proc/meminfo: memFree=25254280/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=28348 CPUtime=409.5 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 4705 0 0 0 40901 49 0 0 25 0 1 0 829698529 29028352 4657 33554432000 134512640 137138936 4289240816 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 7087 4657 192 642 0 6443 0
Current children cumulated CPU time (s) 409.5
Current children cumulated vsize (KiB) 28348
[startup+415.9 s]
/proc/loadavg: 2.04 2.03 2.00 3/425 1358
/proc/meminfo: memFree=25254280/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=28348 CPUtime=415.9 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 4705 0 0 0 41541 49 0 0 25 0 1 0 829698529 29028352 4657 33554432000 134512640 137138936 4289240816 18446744073709551615 136511093 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 7087 4657 192 642 0 6443 0
Current children cumulated CPU time (s) 415.9
Current children cumulated vsize (KiB) 28348
[startup+419.116 s]
/proc/loadavg: 2.04 2.03 2.00 3/425 1359
/proc/meminfo: memFree=25254280/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=28348 CPUtime=419.11 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 4705 0 0 0 41862 49 0 0 25 0 1 0 829698529 29028352 4657 33554432000 134512640 137138936 4289240816 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 7087 4657 192 642 0 6443 0
Current children cumulated CPU time (s) 419.11
Current children cumulated vsize (KiB) 28348
[startup+420.701 s]
/proc/loadavg: 2.04 2.03 2.00 3/425 1359
/proc/meminfo: memFree=25254280/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=28348 CPUtime=420.69 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 4705 0 0 0 42020 49 0 0 25 0 1 0 829698529 29028352 4657 33554432000 134512640 137138936 4289240816 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 7087 4657 192 642 0 6443 0
Current children cumulated CPU time (s) 420.69
Current children cumulated vsize (KiB) 28348
[startup+421.5 s]
/proc/loadavg: 2.04 2.03 2.00 3/425 1359
/proc/meminfo: memFree=25254280/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=28348 CPUtime=421.5 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 4705 0 0 0 42100 50 0 0 25 0 1 0 829698529 29028352 4657 33554432000 134512640 137138936 4289240816 18446744073709551615 134575788 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 7087 4657 192 642 0 6443 0
Current children cumulated CPU time (s) 421.5
Current children cumulated vsize (KiB) 28348
[startup+421.7 s]
/proc/loadavg: 2.04 2.03 2.00 3/425 1359
/proc/meminfo: memFree=25254280/32951124 swapFree=44043516/67111528
[pid=1346] ppid=1344 vsize=28348 CPUtime=421.7 cores=0,2,4,6
/proc/1346/stat : 1346 (bsolo) R 1344 1346 31765 0 -1 4202496 4705 0 0 0 42120 50 0 0 25 0 1 0 829698529 29028352 4657 33554432000 134512640 137138936 4289240816 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1346/statm: 7087 4657 192 642 0 6443 0
Current children cumulated CPU time (s) 421.7
Current children cumulated vsize (KiB) 28348
Child status: 0
Real time (s): 421.704
CPU time (s): 421.71
CPU user time (s): 421.208
CPU system time (s): 0.501923
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 28348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 421.208
system time used= 0.501923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4706
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= 862
runsolver used 1.80572 second user time and 3.9544 second system time
The end
Begin job on node134 at 2011-06-04 11:50:03
IDJOB=3462474
IDBENCH=47890
IDSOLVER=1955
FILE ID=node134/3462474-1307181003
RUNJOBID= node134-1307175438-486
PBS_JOBID= 13508837
Free space on /tmp= 74016 MiB
SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=223-P1=29-P2=7-P3=83-P4=113-P5=223-P6=229-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462474-1307181003/watcher-3462474-1307181003 -o /tmp/evaluation-result-3462474-1307181003/solver-3462474-1307181003 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462474-1307181003.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 6355c589dda3f12b095277ae4637ab26
RANDOM SEED=91396025
node134.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.67
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.83
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 : 7186.06
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.80
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.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 25503400 kB
Buffers: 298496 kB
Cached: 655772 kB
SwapCached: 9536 kB
Active: 6535560 kB
Inactive: 617312 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 25503400 kB
SwapTotal: 67111528 kB
SwapFree: 44043516 kB
Dirty: 4248 kB
Writeback: 0 kB
AnonPages: 6197128 kB
Mapped: 21956 kB
Slab: 137828 kB
PageTables: 89932 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 111151204 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74012 MiB
End job on node134 at 2011-06-04 11:57:05