runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3490764-1307750619/watcher-3490764-1307750619 -o /tmp/evaluation-result-3490764-1307750619/solver-3490764-1307750619 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490764-1307750619.opb --verbosity=0 --format=opb --randomseed=1122168592
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.85 3.41 4.19 3/178 18010
/proc/meminfo: memFree=31770800/32950928 swapFree=67048868/67111528
[pid=18010] ppid=18008 vsize=7716 CPUtime=0 cores=1,3,5,7
/proc/18010/stat : 18010 (minisatid) R 18008 18010 17848 0 -1 4202496 444 0 0 0 0 0 0 0 25 0 1 0 886660712 7901184 396 33554432000 4194304 6720400 140733407212672 18446744073709551615 5725543 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18010/statm: 1929 396 243 617 0 1303 0
[startup+0.0215751 s]
/proc/loadavg: 2.85 3.41 4.19 3/178 18010
/proc/meminfo: memFree=31770800/32950928 swapFree=67048868/67111528
[pid=18010] ppid=18008 vsize=7980 CPUtime=0.02 cores=1,3,5,7
/proc/18010/stat : 18010 (minisatid) R 18008 18010 17848 0 -1 4202496 563 0 0 0 2 0 0 0 25 0 1 0 886660712 8171520 515 33554432000 4194304 6720400 140733407212672 18446744073709551615 4803177 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18010/statm: 1995 515 262 617 0 1369 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7980
[startup+0.10062 s]
/proc/loadavg: 2.85 3.41 4.19 3/178 18010
/proc/meminfo: memFree=31770800/32950928 swapFree=67048868/67111528
[pid=18010] ppid=18008 vsize=8116 CPUtime=0.09 cores=1,3,5,7
/proc/18010/stat : 18010 (minisatid) R 18008 18010 17848 0 -1 4202496 822 0 0 0 9 0 0 0 25 0 1 0 886660712 8310784 772 33554432000 4194304 6720400 140733407212672 18446744073709551615 4803262 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18010/statm: 2029 772 262 617 0 1403 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8116
[startup+0.300585 s]
/proc/loadavg: 2.85 3.41 4.19 3/178 18010
/proc/meminfo: memFree=31770800/32950928 swapFree=67048868/67111528
[pid=18010] ppid=18008 vsize=8544 CPUtime=0.29 cores=1,3,5,7
/proc/18010/stat : 18010 (minisatid) R 18008 18010 17848 0 -1 4202496 1387 0 0 0 29 0 0 0 25 0 1 0 886660712 8749056 1334 33554432000 4194304 6720400 140733407212672 18446744073709551615 4817456 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18010/statm: 2136 1334 263 617 0 1510 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8544
[startup+0.700515 s]
/proc/loadavg: 2.85 3.41 4.19 3/178 18010
/proc/meminfo: memFree=31770800/32950928 swapFree=67048868/67111528
[pid=18010] ppid=18008 vsize=7320 CPUtime=0.69 cores=1,3,5,7
/proc/18010/stat : 18010 (minisatid) R 18008 18010 17848 0 -1 4202496 2634 0 0 0 69 0 0 0 25 0 1 0 886660712 7495680 1366 33554432000 4194304 6720400 140733407212672 18446744073709551615 4617381 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18010/statm: 1830 1366 263 617 0 1204 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7320
[startup+1.50037 s]
/proc/loadavg: 2.86 3.40 4.18 4/179 18011
/proc/meminfo: memFree=31764128/32950928 swapFree=67048868/67111528
[pid=18010] ppid=18008 vsize=19144 CPUtime=1.49 cores=1,3,5,7
/proc/18010/stat : 18010 (minisatid) R 18008 18010 17848 0 -1 4202496 5145 0 0 0 148 1 0 0 25 0 1 0 886660712 19603456 2672 33554432000 4194304 6720400 140733407212672 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18010/statm: 4786 2672 263 617 0 4160 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19144
[startup+3.10109 s]
/proc/loadavg: 2.86 3.40 4.18 4/179 18011
/proc/meminfo: memFree=31756068/32950928 swapFree=67048868/67111528
[pid=18010] ppid=18008 vsize=24324 CPUtime=3.09 cores=1,3,5,7
/proc/18010/stat : 18010 (minisatid) R 18008 18010 17848 0 -1 4202496 6835 0 0 0 308 1 0 0 25 0 1 0 886660712 24907776 4351 33554432000 4194304 6720400 140733407212672 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18010/statm: 6081 4351 263 617 0 5455 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24324
[startup+6.30046 s]
/proc/loadavg: 2.86 3.40 4.18 4/179 18011
/proc/meminfo: memFree=31752844/32950928 swapFree=67048868/67111528
[pid=18010] ppid=18008 vsize=24324 CPUtime=6.29 cores=1,3,5,7
/proc/18010/stat : 18010 (minisatid) R 18008 18010 17848 0 -1 4202496 7125 0 0 0 628 1 0 0 25 0 1 0 886660712 24907776 4638 33554432000 4194304 6720400 140733407212672 18446744073709551615 4819872 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18010/statm: 6081 4638 263 617 0 5455 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24324
[startup+12.7003 s]
/proc/loadavg: 2.88 3.39 4.17 4/179 18011
/proc/meminfo: memFree=31745228/32950928 swapFree=67048868/67111528
[pid=18010] ppid=18008 vsize=31464 CPUtime=12.69 cores=1,3,5,7
/proc/18010/stat : 18010 (minisatid) R 18008 18010 17848 0 -1 4202496 14563 0 0 0 1267 2 0 0 25 0 1 0 886660712 32219136 6504 33554432000 4194304 6720400 140733407212672 18446744073709551615 4609059 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18010/statm: 7866 6504 263 617 0 7240 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31464
[startup+25.501 s]
/proc/loadavg: 2.90 3.37 4.16 4/179 18012
/proc/meminfo: memFree=31736424/32950928 swapFree=67048868/67111528
[pid=18010] ppid=18008 vsize=36560 CPUtime=25.49 cores=1,3,5,7
/proc/18010/stat : 18010 (minisatid) R 18008 18010 17848 0 -1 4202496 16254 0 0 0 2547 2 0 0 25 0 1 0 886660712 37437440 8178 33554432000 4194304 6720400 140733407212672 18446744073709551615 4617381 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18010/statm: 9140 8178 263 617 0 8514 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36560
[startup+51.1005 s]
/proc/loadavg: 2.93 3.34 4.12 4/179 18016
/proc/meminfo: memFree=31716540/32950928 swapFree=67048868/67111528
[pid=18010] ppid=18008 vsize=40912 CPUtime=51.09 cores=1,3,5,7
/proc/18010/stat : 18010 (minisatid) R 18008 18010 17848 0 -1 4202496 20656 0 0 0 5107 2 0 0 25 0 1 0 886660712 41893888 9687 33554432000 4194304 6720400 140733407212672 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18010/statm: 10228 9687 263 617 0 9602 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 40912
[startup+102.306 s]
/proc/loadavg: 3.01 3.30 4.06 4/179 18017
/proc/meminfo: memFree=31699984/32950928 swapFree=67048868/67111528
[pid=18010] ppid=18008 vsize=55236 CPUtime=102.3 cores=1,3,5,7
/proc/18010/stat : 18010 (minisatid) R 18008 18010 17848 0 -1 4202496 24267 0 0 0 10227 3 0 0 25 0 1 0 886660712 56561664 13273 33554432000 4194304 6720400 140733407212672 18446744073709551615 4718452 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18010/statm: 13809 13273 263 617 0 13183 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 55236
[startup+162.301 s]
/proc/loadavg: 3.00 3.24 3.99 4/179 18018
/proc/meminfo: memFree=31680952/32950928 swapFree=67048868/67111528
[pid=18010] ppid=18008 vsize=62796 CPUtime=162.29 cores=1,3,5,7
/proc/18010/stat : 18010 (minisatid) R 18008 18010 17848 0 -1 4202496 30490 0 0 0 16225 4 0 0 25 0 1 0 886660712 64303104 12976 33554432000 4194304 6720400 140733407212672 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18010/statm: 15699 12976 263 617 0 15073 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 62796
[startup+222.301 s]
/proc/loadavg: 3.00 3.19 3.93 4/179 18020
/proc/meminfo: memFree=31674696/32950928 swapFree=67048868/67111528
[pid=18010] ppid=18008 vsize=62796 CPUtime=222.29 cores=1,3,5,7
/proc/18010/stat : 18010 (minisatid) R 18008 18010 17848 0 -1 4202496 31344 0 0 0 22225 4 0 0 25 0 1 0 886660712 64303104 13825 33554432000 4194304 6720400 140733407212672 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18010/statm: 15699 13825 263 617 0 15073 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 62796
Solver just ended. Dumping a history of the last processes samples
[startup+230.301 s]
/proc/loadavg: 3.00 3.19 3.92 4/179 18020
/proc/meminfo: memFree=31674568/32950928 swapFree=67048868/67111528
[pid=18010] ppid=18008 vsize=62796 CPUtime=230.29 cores=1,3,5,7
/proc/18010/stat : 18010 (minisatid) R 18008 18010 17848 0 -1 4202496 31382 0 0 0 23025 4 0 0 25 0 1 0 886660712 64303104 13863 33554432000 4194304 6720400 140733407212672 18446744073709551615 4617082 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18010/statm: 15699 13863 263 617 0 15073 0
Current children cumulated CPU time (s) 230.29
Current children cumulated vsize (KiB) 62796
[startup+236.7 s]
/proc/loadavg: 3.00 3.18 3.91 4/179 18020
/proc/meminfo: memFree=31674320/32950928 swapFree=67048868/67111528
[pid=18010] ppid=18008 vsize=62796 CPUtime=236.69 cores=1,3,5,7
/proc/18010/stat : 18010 (minisatid) R 18008 18010 17848 0 -1 4202496 31420 0 0 0 23665 4 0 0 25 0 1 0 886660712 64303104 13901 33554432000 4194304 6720400 140733407212672 18446744073709551615 4616685 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18010/statm: 15699 13901 263 617 0 15073 0
Current children cumulated CPU time (s) 236.69
Current children cumulated vsize (KiB) 62796
[startup+239.901 s]
/proc/loadavg: 3.00 3.18 3.91 4/179 18021
/proc/meminfo: memFree=31674432/32950928 swapFree=67048868/67111528
[pid=18010] ppid=18008 vsize=62796 CPUtime=239.89 cores=1,3,5,7
/proc/18010/stat : 18010 (minisatid) R 18008 18010 17848 0 -1 4202496 31420 0 0 0 23985 4 0 0 25 0 1 0 886660712 64303104 13901 33554432000 4194304 6720400 140733407212672 18446744073709551615 4616977 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18010/statm: 15699 13901 263 617 0 15073 0
Current children cumulated CPU time (s) 239.89
Current children cumulated vsize (KiB) 62796
[startup+243.106 s]
/proc/loadavg: 3.00 3.18 3.91 4/179 18021
/proc/meminfo: memFree=31674308/32950928 swapFree=67048868/67111528
[pid=18010] ppid=18008 vsize=62796 CPUtime=243.1 cores=1,3,5,7
/proc/18010/stat : 18010 (minisatid) R 18008 18010 17848 0 -1 4202496 31420 0 0 0 24306 4 0 0 25 0 1 0 886660712 64303104 13901 33554432000 4194304 6720400 140733407212672 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18010/statm: 15699 13901 263 617 0 15073 0
Current children cumulated CPU time (s) 243.1
Current children cumulated vsize (KiB) 62796
[startup+243.901 s]
/proc/loadavg: 3.00 3.18 3.91 4/179 18021
/proc/meminfo: memFree=31674308/32950928 swapFree=67048868/67111528
[pid=18010] ppid=18008 vsize=62796 CPUtime=243.89 cores=1,3,5,7
/proc/18010/stat : 18010 (minisatid) R 18008 18010 17848 0 -1 4202496 31453 0 0 0 24385 4 0 0 25 0 1 0 886660712 64303104 13934 33554432000 4194304 6720400 140733407212672 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18010/statm: 15699 13934 263 617 0 15073 0
Current children cumulated CPU time (s) 243.89
Current children cumulated vsize (KiB) 62796
[startup+244.301 s]
/proc/loadavg: 3.00 3.18 3.91 4/179 18021
/proc/meminfo: memFree=31674060/32950928 swapFree=67048868/67111528
[pid=18010] ppid=18008 vsize=62796 CPUtime=244.29 cores=1,3,5,7
/proc/18010/stat : 18010 (minisatid) R 18008 18010 17848 0 -1 4202496 31490 0 0 0 24425 4 0 0 25 0 1 0 886660712 64303104 13971 33554432000 4194304 6720400 140733407212672 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18010/statm: 15699 13971 263 617 0 15073 0
Current children cumulated CPU time (s) 244.29
Current children cumulated vsize (KiB) 62796
[startup+244.501 s]
/proc/loadavg: 3.00 3.18 3.91 4/179 18021
/proc/meminfo: memFree=31674060/32950928 swapFree=67048868/67111528
[pid=18010] ppid=18008 vsize=62796 CPUtime=244.49 cores=1,3,5,7
/proc/18010/stat : 18010 (minisatid) R 18008 18010 17848 0 -1 4202496 31490 0 0 0 24445 4 0 0 25 0 1 0 886660712 64303104 13971 33554432000 4194304 6720400 140733407212672 18446744073709551615 4616746 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18010/statm: 15699 13971 263 617 0 15073 0
Current children cumulated CPU time (s) 244.49
Current children cumulated vsize (KiB) 62796
Child status: 10
Real time (s): 244.586
CPU time (s): 244.592
CPU user time (s): 244.541
CPU system time (s): 0.050992
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 73912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.541
system time used= 0.050992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31503
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= 572
runsolver used 0.320951 second user time and 0.857869 second system time
The end
Begin job on node122 at 2011-06-11 02:03:39
IDJOB=3490764
IDBENCH=1166
IDSOLVER=1980
FILE ID=node122/3490764-1307750619
RUNJOBID= node122-1307750526-17867
PBS_JOBID= 13550861
Free space on /tmp= 74100 MiB
SOLVER NAME= MinisatID 2.5.2 (fixed)
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army9.12ls.opb
COMMAND LINE= HOME/minisatid BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3490764-1307750619/watcher-3490764-1307750619 -o /tmp/evaluation-result-3490764-1307750619/solver-3490764-1307750619 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490764-1307750619.opb --verbosity=0 --format=opb --randomseed=1122168592
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 3e382297eed431747f729c90837f8bad
RANDOM SEED=1122168592
node122.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.820
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.64
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.820
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.75
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.820
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.820
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.83
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.820
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.75
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.820
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.820
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.820
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.97
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 31771112 kB
Buffers: 111504 kB
Cached: 853152 kB
SwapCached: 14612 kB
Active: 336344 kB
Inactive: 692264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31771112 kB
SwapTotal: 67111528 kB
SwapFree: 67048868 kB
Dirty: 3128 kB
Writeback: 0 kB
AnonPages: 61796 kB
Mapped: 10588 kB
Slab: 85916 kB
PageTables: 4872 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 437872 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74096 MiB
End job on node122 at 2011-06-11 02:07:44