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-3497560-1307923490/watcher-3497560-1307923490 -o /tmp/evaluation-result-3497560-1307923490/solver-3497560-1307923490 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497560-1307923490.opb --verbosity=0 --format=opb --randomseed=1756340687
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.03 2.03 1.94 3/178 22170
/proc/meminfo: memFree=32313628/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=8096 CPUtime=0 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 482 0 0 0 0 0 0 0 25 0 1 0 903946920 8290304 435 33554432000 4194304 6957856 140736570044064 18446744073709551615 5574122 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 2024 435 250 675 0 1340 0
[startup+0.0637451 s]
/proc/loadavg: 2.03 2.03 1.94 3/178 22170
/proc/meminfo: memFree=32313628/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=11456 CPUtime=0.06 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 1324 0 0 0 6 0 0 0 25 0 1 0 903946920 11730944 1277 33554432000 4194304 6957856 140736570044064 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 2864 1278 250 675 0 2180 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11456
[startup+0.100739 s]
/proc/loadavg: 2.03 2.03 1.94 3/178 22170
/proc/meminfo: memFree=32313628/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=14476 CPUtime=0.09 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 2141 0 0 0 9 0 0 0 25 0 1 0 903946920 14823424 2055 33554432000 4194304 6957856 140736570044064 18446744073709551615 5918004 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 3619 2055 266 675 0 2935 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14476
[startup+0.300702 s]
/proc/loadavg: 2.03 2.03 1.94 3/178 22170
/proc/meminfo: memFree=32313628/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=15792 CPUtime=0.29 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 2545 0 0 0 29 0 0 0 25 0 1 0 903946920 16171008 2450 33554432000 4194304 6957856 140736570044064 18446744073709551615 5922131 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 3948 2450 285 675 0 3264 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15792
[startup+0.700628 s]
/proc/loadavg: 2.03 2.03 1.94 3/178 22170
/proc/meminfo: memFree=32313628/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=15816 CPUtime=0.69 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 2632 0 0 0 69 0 0 0 25 0 1 0 903946920 16195584 2537 33554432000 4194304 6957856 140736570044064 18446744073709551615 5918004 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 3954 2537 285 675 0 3270 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15816
[startup+1.50048 s]
/proc/loadavg: 2.03 2.03 1.94 3/179 22171
/proc/meminfo: memFree=32301988/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=15840 CPUtime=1.49 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 3057 0 0 0 149 0 0 0 25 0 1 0 903946920 16220160 2960 33554432000 4194304 6957856 140736570044064 18446744073709551615 5922016 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 3960 2960 285 675 0 3276 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15840
[startup+3.10018 s]
/proc/loadavg: 2.03 2.03 1.94 3/179 22171
/proc/meminfo: memFree=32297724/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=18608 CPUtime=3.09 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 3874 0 0 0 309 0 0 0 25 0 1 0 903946920 19054592 3776 33554432000 4194304 6957856 140736570044064 18446744073709551615 5932528 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 4652 3776 286 675 0 3968 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18608
[startup+6.30059 s]
/proc/loadavg: 2.02 2.03 1.94 3/179 22171
/proc/meminfo: memFree=32336536/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=30252 CPUtime=6.29 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 5483 0 0 0 629 0 0 0 25 0 1 0 903946920 30978048 5381 33554432000 4194304 6957856 140736570044064 18446744073709551615 4837046 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 7563 5381 287 675 0 6879 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30252
[startup+12.7004 s]
/proc/loadavg: 2.10 2.04 1.94 3/179 22171
/proc/meminfo: memFree=32322964/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=42124 CPUtime=12.69 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 8662 0 0 0 1268 1 0 0 25 0 1 0 903946920 43134976 8550 33554432000 4194304 6957856 140736570044064 18446744073709551615 5314225 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 10531 8550 287 675 0 9847 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42124
[startup+25.501 s]
/proc/loadavg: 2.08 2.04 1.94 3/179 22172
/proc/meminfo: memFree=32297396/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=61396 CPUtime=25.49 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 14879 0 0 0 2547 2 0 0 25 0 1 0 903946920 62869504 14743 33554432000 4194304 6957856 140736570044064 18446744073709551615 4838180 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 15349 14743 287 675 0 14665 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61396
[startup+51.1003 s]
/proc/loadavg: 2.05 2.03 1.94 3/179 22172
/proc/meminfo: memFree=32320804/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=42916 CPUtime=51.09 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 28653 0 0 0 5104 5 0 0 25 0 1 0 903946920 43945984 9180 33554432000 4194304 6957856 140736570044064 18446744073709551615 5311728 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 10729 9180 288 675 0 10045 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 42916
[startup+102.306 s]
/proc/loadavg: 2.08 2.04 1.95 3/179 22174
/proc/meminfo: memFree=32324476/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=44000 CPUtime=102.3 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 56758 0 0 0 10219 11 0 0 25 0 1 0 903946920 45056000 7884 33554432000 4194304 6957856 140736570044064 18446744073709551615 5312969 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 11000 7884 288 675 0 10316 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 44000
[startup+162.301 s]
/proc/loadavg: 2.17 2.06 1.96 3/179 22175
/proc/meminfo: memFree=32338700/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=21392 CPUtime=162.3 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 87439 0 0 0 16212 18 0 0 25 0 1 0 903946920 21905408 4582 33554432000 4194304 6957856 140736570044064 18446744073709551615 4869314 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 5348 4582 288 675 0 4664 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 21392
Solver just ended. Dumping a history of the last processes samples
[startup+179.101 s]
/proc/loadavg: 2.12 2.06 1.96 4/179 22176
/proc/meminfo: memFree=32306312/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=21504 CPUtime=179.09 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 96516 0 0 0 17890 19 0 0 25 0 1 0 903946920 22020096 4275 33554432000 4194304 6957856 140736570044064 18446744073709551615 5922145 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 5376 4275 288 675 0 4692 0
Current children cumulated CPU time (s) 179.09
Current children cumulated vsize (KiB) 21504
[startup+191.9 s]
/proc/loadavg: 2.10 2.06 1.96 3/179 22176
/proc/meminfo: memFree=32269724/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=44896 CPUtime=191.9 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 102942 0 0 0 19169 21 0 0 25 0 1 0 903946920 45973504 10681 33554432000 4194304 6957856 140736570044064 18446744073709551615 5922134 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 11224 10681 288 675 0 10540 0
Current children cumulated CPU time (s) 191.9
Current children cumulated vsize (KiB) 44896
[startup+204.701 s]
/proc/loadavg: 2.08 2.05 1.96 3/179 22177
/proc/meminfo: memFree=32254708/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=94784 CPUtime=204.7 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 109661 0 0 0 20448 22 0 0 25 0 1 0 903946920 97058816 17377 33554432000 4194304 6957856 140736570044064 18446744073709551615 4458461 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 23696 17377 288 675 0 23012 0
Current children cumulated CPU time (s) 204.7
Current children cumulated vsize (KiB) 94784
[startup+211.101 s]
/proc/loadavg: 2.07 2.05 1.96 3/179 22177
/proc/meminfo: memFree=32229652/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=95400 CPUtime=211.1 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 113015 0 0 0 21088 22 0 0 25 0 1 0 903946920 97689600 20725 33554432000 4194304 6957856 140736570044064 18446744073709551615 4846768 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 23850 20725 288 675 0 23166 0
Current children cumulated CPU time (s) 211.1
Current children cumulated vsize (KiB) 95400
[startup+212.7 s]
/proc/loadavg: 2.06 2.05 1.96 3/179 22177
/proc/meminfo: memFree=32225436/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=95400 CPUtime=212.69 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 113831 0 0 0 21247 22 0 0 25 0 1 0 903946920 97689600 21539 33554432000 4194304 6957856 140736570044064 18446744073709551615 5933982 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 23850 21539 288 675 0 23166 0
Current children cumulated CPU time (s) 212.69
Current children cumulated vsize (KiB) 95400
[startup+214.301 s]
/proc/loadavg: 2.06 2.05 1.96 3/179 22177
/proc/meminfo: memFree=32221344/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=17940 CPUtime=214.3 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 115102 0 0 0 21407 23 0 0 25 0 1 0 903946920 18370560 3916 33554432000 4194304 6957856 140736570044064 18446744073709551615 5313019 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 4485 3916 288 675 0 3801 0
Current children cumulated CPU time (s) 214.3
Current children cumulated vsize (KiB) 17940
[startup+215.101 s]
/proc/loadavg: 2.06 2.05 1.96 3/179 22177
/proc/meminfo: memFree=32290660/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=19616 CPUtime=215.1 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 115473 0 0 0 21487 23 0 0 25 0 1 0 903946920 20086784 4287 33554432000 4194304 6957856 140736570044064 18446744073709551615 5312975 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 4904 4287 288 675 0 4220 0
Current children cumulated CPU time (s) 215.1
Current children cumulated vsize (KiB) 19616
[startup+215.301 s]
/proc/loadavg: 2.06 2.05 1.96 3/179 22177
/proc/meminfo: memFree=32290660/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=19616 CPUtime=215.3 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 115562 0 0 0 21507 23 0 0 25 0 1 0 903946920 20086784 4376 33554432000 4194304 6957856 140736570044064 18446744073709551615 5917968 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 4904 4376 288 675 0 4220 0
Current children cumulated CPU time (s) 215.3
Current children cumulated vsize (KiB) 19616
[startup+215.401 s]
/proc/loadavg: 2.06 2.05 1.96 3/179 22177
/proc/meminfo: memFree=32290660/32951124 swapFree=67072804/67111528
[pid=22170] ppid=22168 vsize=19616 CPUtime=215.4 cores=1,3,5,7
/proc/22170/stat : 22170 (minisatid-gmp) R 22168 22170 21589 0 -1 4202496 115595 0 0 0 21517 23 0 0 25 0 1 0 903946920 20086784 4409 33554432000 4194304 6957856 140736570044064 18446744073709551615 5311760 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/22170/statm: 4904 4409 288 675 0 4220 0
Current children cumulated CPU time (s) 215.4
Current children cumulated vsize (KiB) 19616
Child status: 10
Real time (s): 215.447
CPU time (s): 215.453
CPU user time (s): 215.218
CPU system time (s): 0.234964
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 95400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 215.218
system time used= 0.234964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115622
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= 4
involuntary context switches= 108
runsolver used 0.273958 second user time and 0.714891 second system time
The end
Begin job on node135 at 2011-06-13 02:04:51
IDJOB=3497560
IDBENCH=2166
IDSOLVER=1990
FILE ID=node135/3497560-1307923490
RUNJOBID= node135-1307919792-21609
PBS_JOBID= 13559644
Free space on /tmp= 73884 MiB
SOLVER NAME= MinisatID 2.5.2-gmp
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16e2.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3497560-1307923490/watcher-3497560-1307923490 -o /tmp/evaluation-result-3497560-1307923490/solver-3497560-1307923490 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497560-1307923490.opb --verbosity=0 --format=opb --randomseed=1756340687
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 70562ccf7e5b2c45714808415668e9f1
RANDOM SEED=1756340687
node135.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.851
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.70
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.851
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.851
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.851
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 : 6640.14
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.851
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.78
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.851
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.75
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.851
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.74
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.851
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.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 32314428 kB
Buffers: 137472 kB
Cached: 146076 kB
SwapCached: 6348 kB
Active: 330344 kB
Inactive: 119880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 32314428 kB
SwapTotal: 67111528 kB
SwapFree: 67072804 kB
Dirty: 4968 kB
Writeback: 0 kB
AnonPages: 165640 kB
Mapped: 11928 kB
Slab: 122580 kB
PageTables: 4576 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 327060 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= 73880 MiB
End job on node135 at 2011-06-13 02:08:26