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-3497559-1307923490/watcher-3497559-1307923490 -o /tmp/evaluation-result-3497559-1307923490/solver-3497559-1307923490 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497559-1307923490.opb --verbosity=0 --format=opb --randomseed=1484745433
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.04 2.00 1.91 2/177 18598
/proc/meminfo: memFree=2923136/32951124 swapFree=67053176/67111528
[pid=18598] ppid=18596 vsize=7956 CPUtime=0 cores=1,3,5,7
/proc/18598/stat : 18598 (minisatid-gmp) R 18596 18598 17865 0 -1 4202496 456 0 0 0 0 0 0 0 25 0 1 0 903946684 8146944 410 33554432000 4194304 6957856 140737331173824 18446744073709551615 4777703 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18598/statm: 1989 410 250 675 0 1305 0
[startup+0.0403241 s]
/proc/loadavg: 2.04 2.00 1.91 2/177 18598
/proc/meminfo: memFree=2923136/32951124 swapFree=67053176/67111528
[pid=18598] ppid=18596 vsize=9488 CPUtime=0.03 cores=1,3,5,7
/proc/18598/stat : 18598 (minisatid-gmp) R 18596 18598 17865 0 -1 4202496 846 0 0 0 3 0 0 0 25 0 1 0 903946684 9715712 800 33554432000 4194304 6957856 140737331173824 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18598/statm: 2372 801 250 675 0 1688 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9488
[startup+0.100316 s]
/proc/loadavg: 2.04 2.00 1.91 2/177 18598
/proc/meminfo: memFree=2923136/32951124 swapFree=67053176/67111528
[pid=18598] ppid=18596 vsize=15004 CPUtime=0.09 cores=1,3,5,7
/proc/18598/stat : 18598 (minisatid-gmp) R 18596 18598 17865 0 -1 4202496 2240 0 0 0 9 0 0 0 25 0 1 0 903946684 15364096 2180 33554432000 4194304 6957856 140737331173824 18446744073709551615 4642131 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18598/statm: 3751 2180 266 675 0 3067 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15004
[startup+0.300276 s]
/proc/loadavg: 2.04 2.00 1.91 2/177 18598
/proc/meminfo: memFree=2923136/32951124 swapFree=67053176/67111528
[pid=18598] ppid=18596 vsize=16244 CPUtime=0.29 cores=1,3,5,7
/proc/18598/stat : 18598 (minisatid-gmp) R 18596 18598 17865 0 -1 4202496 2731 0 0 0 29 0 0 0 25 0 1 0 903946684 16633856 2657 33554432000 4194304 6957856 140737331173824 18446744073709551615 5918206 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18598/statm: 4061 2657 284 675 0 3377 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16244
[startup+0.700204 s]
/proc/loadavg: 2.04 2.00 1.91 2/177 18598
/proc/meminfo: memFree=2923136/32951124 swapFree=67053176/67111528
[pid=18598] ppid=18596 vsize=16320 CPUtime=0.69 cores=1,3,5,7
/proc/18598/stat : 18598 (minisatid-gmp) R 18596 18598 17865 0 -1 4202496 2878 0 0 0 69 0 0 0 25 0 1 0 903946684 16711680 2804 33554432000 4194304 6957856 140737331173824 18446744073709551615 4870064 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18598/statm: 4080 2804 284 675 0 3396 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16320
[startup+1.50106 s]
/proc/loadavg: 2.04 2.00 1.91 3/178 18600
/proc/meminfo: memFree=2912364/32951124 swapFree=67053176/67111528
[pid=18598] ppid=18596 vsize=16320 CPUtime=1.49 cores=1,3,5,7
/proc/18598/stat : 18598 (minisatid-gmp) R 18596 18598 17865 0 -1 4202496 3351 0 0 0 149 0 0 0 25 0 1 0 903946684 16711680 3275 33554432000 4194304 6957856 140737331173824 18446744073709551615 5922313 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18598/statm: 4080 3275 284 675 0 3396 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16320
[startup+3.10078 s]
/proc/loadavg: 2.04 2.00 1.91 3/178 18600
/proc/meminfo: memFree=2909388/32951124 swapFree=67053176/67111528
[pid=18598] ppid=18596 vsize=19112 CPUtime=3.09 cores=1,3,5,7
/proc/18598/stat : 18598 (minisatid-gmp) R 18596 18598 17865 0 -1 4202496 4295 0 0 0 309 0 0 0 25 0 1 0 903946684 19570688 4216 33554432000 4194304 6957856 140737331173824 18446744073709551615 4863267 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18598/statm: 4778 4216 285 675 0 4094 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19112
[startup+6.30019 s]
/proc/loadavg: 2.04 2.00 1.91 3/178 18600
/proc/meminfo: memFree=2901944/32951124 swapFree=67053176/67111528
[pid=18598] ppid=18596 vsize=30792 CPUtime=6.29 cores=1,3,5,7
/proc/18598/stat : 18598 (minisatid-gmp) R 18596 18598 17865 0 -1 4202496 6170 0 0 0 628 1 0 0 25 0 1 0 903946684 31531008 6086 33554432000 4194304 6957856 140737331173824 18446744073709551615 4851591 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18598/statm: 7698 6086 287 675 0 7014 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30792
[startup+12.701 s]
/proc/loadavg: 2.03 2.00 1.91 3/178 18600
/proc/meminfo: memFree=2886952/32951124 swapFree=67053176/67111528
[pid=18598] ppid=18596 vsize=42760 CPUtime=12.69 cores=1,3,5,7
/proc/18598/stat : 18598 (minisatid-gmp) R 18596 18598 17865 0 -1 4202496 9772 0 0 0 1268 1 0 0 25 0 1 0 903946684 43786240 9673 33554432000 4194304 6957856 140737331173824 18446744073709551615 5312973 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18598/statm: 10690 9673 287 675 0 10006 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42760
[startup+25.5007 s]
/proc/loadavg: 2.03 2.00 1.91 3/178 18600
/proc/meminfo: memFree=2858508/32951124 swapFree=67053176/67111528
[pid=18598] ppid=18596 vsize=93352 CPUtime=25.5 cores=1,3,5,7
/proc/18598/stat : 18598 (minisatid-gmp) R 18596 18598 17865 0 -1 4202496 16785 0 0 0 2547 3 0 0 25 0 1 0 903946684 95592448 16657 33554432000 4194304 6957856 140737331173824 18446744073709551615 4866304 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18598/statm: 23338 16657 287 675 0 22654 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 93352
[startup+51.1001 s]
/proc/loadavg: 2.02 2.00 1.91 3/178 18639
/proc/meminfo: memFree=2946116/32951124 swapFree=67053176/67111528
[pid=18598] ppid=18596 vsize=25432 CPUtime=51.09 cores=1,3,5,7
/proc/18598/stat : 18598 (minisatid-gmp) R 18596 18598 17865 0 -1 4202496 32518 0 0 0 5103 6 0 0 25 0 1 0 903946684 26042368 5874 33554432000 4194304 6957856 140737331173824 18446744073709551615 5932541 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18598/statm: 6358 5874 288 675 0 5674 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25432
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 18640
/proc/meminfo: memFree=2937768/32951124 swapFree=67053176/67111528
[pid=18598] ppid=18596 vsize=33456 CPUtime=102.3 cores=1,3,5,7
/proc/18598/stat : 18598 (minisatid-gmp) R 18596 18598 17865 0 -1 4202496 62469 0 0 0 10217 13 0 0 25 0 1 0 903946684 34258944 7042 33554432000 4194304 6957856 140737331173824 18446744073709551615 5922026 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18598/statm: 8364 7042 288 675 0 7680 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 33456
Solver just ended. Dumping a history of the last processes samples
[startup+115.101 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 18641
/proc/meminfo: memFree=2910840/32951124 swapFree=67053176/67111528
[pid=18598] ppid=18596 vsize=64348 CPUtime=115.09 cores=1,3,5,7
/proc/18598/stat : 18598 (minisatid-gmp) R 18596 18598 17865 0 -1 4202496 69534 0 0 0 11495 14 0 0 25 0 1 0 903946684 65892352 14085 33554432000 4194304 6957856 140737331173824 18446744073709551615 5918022 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18598/statm: 16087 14085 288 675 0 15403 0
Current children cumulated CPU time (s) 115.09
Current children cumulated vsize (KiB) 64348
[startup+127.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 18641
/proc/meminfo: memFree=2942452/32951124 swapFree=67053176/67111528
[pid=18598] ppid=18596 vsize=26704 CPUtime=127.89 cores=1,3,5,7
/proc/18598/stat : 18598 (minisatid-gmp) R 18596 18598 17865 0 -1 4202496 77343 0 0 0 12773 16 0 0 25 0 1 0 903946684 27344896 5870 33554432000 4194304 6957856 140737331173824 18446744073709551615 5385223 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18598/statm: 6676 5870 288 675 0 5992 0
Current children cumulated CPU time (s) 127.89
Current children cumulated vsize (KiB) 26704
[startup+131.101 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 18641
/proc/meminfo: memFree=2945800/32951124 swapFree=67053176/67111528
[pid=18598] ppid=18596 vsize=22556 CPUtime=131.1 cores=1,3,5,7
/proc/18598/stat : 18598 (minisatid-gmp) R 18596 18598 17865 0 -1 4202496 79679 0 0 0 13093 17 0 0 25 0 1 0 903946684 23097344 5027 33554432000 4194304 6957856 140737331173824 18446744073709551615 5918148 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18598/statm: 5639 5027 288 675 0 4955 0
Current children cumulated CPU time (s) 131.1
Current children cumulated vsize (KiB) 22556
[startup+132.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 18641
/proc/meminfo: memFree=2943320/32951124 swapFree=67053176/67111528
[pid=18598] ppid=18596 vsize=26976 CPUtime=132.7 cores=1,3,5,7
/proc/18598/stat : 18598 (minisatid-gmp) R 18596 18598 17865 0 -1 4202496 80571 0 0 0 13253 17 0 0 25 0 1 0 903946684 27623424 5917 33554432000 4194304 6957856 140737331173824 18446744073709551615 5314078 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18598/statm: 6744 5917 288 675 0 6060 0
Current children cumulated CPU time (s) 132.7
Current children cumulated vsize (KiB) 26976
[startup+134.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 18641
/proc/meminfo: memFree=2938360/32951124 swapFree=67053176/67111528
[pid=18598] ppid=18596 vsize=34156 CPUtime=134.3 cores=1,3,5,7
/proc/18598/stat : 18598 (minisatid-gmp) R 18596 18598 17865 0 -1 4202496 81492 0 0 0 13413 17 0 0 25 0 1 0 903946684 34975744 6835 33554432000 4194304 6957856 140737331173824 18446744073709551615 5922216 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18598/statm: 8539 6835 288 675 0 7855 0
Current children cumulated CPU time (s) 134.3
Current children cumulated vsize (KiB) 34156
[startup+134.701 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 18641
/proc/meminfo: memFree=2938360/32951124 swapFree=67053176/67111528
[pid=18598] ppid=18596 vsize=34156 CPUtime=134.7 cores=1,3,5,7
/proc/18598/stat : 18598 (minisatid-gmp) R 18596 18598 17865 0 -1 4202496 81699 0 0 0 13453 17 0 0 25 0 1 0 903946684 34975744 7041 33554432000 4194304 6957856 140737331173824 18446744073709551615 4847210 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18598/statm: 8539 7041 288 675 0 7855 0
Current children cumulated CPU time (s) 134.7
Current children cumulated vsize (KiB) 34156
[startup+135.101 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 18641
/proc/meminfo: memFree=2938360/32951124 swapFree=67053176/67111528
[pid=18598] ppid=18596 vsize=34156 CPUtime=135.1 cores=1,3,5,7
/proc/18598/stat : 18598 (minisatid-gmp) R 18596 18598 17865 0 -1 4202496 81910 0 0 0 13493 17 0 0 25 0 1 0 903946684 34975744 7252 33554432000 4194304 6957856 140737331173824 18446744073709551615 5922029 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18598/statm: 8539 7252 288 675 0 7855 0
Current children cumulated CPU time (s) 135.1
Current children cumulated vsize (KiB) 34156
[startup+135.201 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 18641
/proc/meminfo: memFree=2936004/32951124 swapFree=67053176/67111528
[pid=18598] ppid=18596 vsize=34156 CPUtime=135.2 cores=1,3,5,7
/proc/18598/stat : 18598 (minisatid-gmp) R 18596 18598 17865 0 -1 4202496 81963 0 0 0 13503 17 0 0 25 0 1 0 903946684 34975744 7304 33554432000 4194304 6957856 140737331173824 18446744073709551615 5917973 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18598/statm: 8539 7304 288 675 0 7855 0
Current children cumulated CPU time (s) 135.2
Current children cumulated vsize (KiB) 34156
Child status: 10
Real time (s): 135.272
CPU time (s): 135.274
CPU user time (s): 135.099
CPU system time (s): 0.174973
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 96164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 135.099
system time used= 0.174973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81978
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= 96
runsolver used 0.200969 second user time and 0.419936 second system time
The end
Begin job on node137 at 2011-06-13 02:04:50
IDJOB=3497559
IDBENCH=2165
IDSOLVER=1990
FILE ID=node137/3497559-1307923490
RUNJOBID= node137-1307919792-17884
PBS_JOBID= 13559642
Free space on /tmp= 3504 MiB
SOLVER NAME= MinisatID 2.5.2-gmp
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3497559-1307923490/watcher-3497559-1307923490 -o /tmp/evaluation-result-3497559-1307923490/solver-3497559-1307923490 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497559-1307923490.opb --verbosity=0 --format=opb --randomseed=1484745433
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 8c328e3092b759791eb187200eaaa71f
RANDOM SEED=1484745433
node137.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.844
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.68
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.844
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.844
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.74
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.844
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.74
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.844
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.82
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.844
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.844
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.83
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.844
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 2923564 kB
Buffers: 79192 kB
Cached: 28950268 kB
SwapCached: 11932 kB
Active: 14360756 kB
Inactive: 14750528 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 2923564 kB
SwapTotal: 67111528 kB
SwapFree: 67053176 kB
Dirty: 4568 kB
Writeback: 0 kB
AnonPages: 78680 kB
Mapped: 10500 kB
Slab: 850636 kB
PageTables: 4772 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 269012 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= 3500 MiB
End job on node137 at 2011-06-13 02:07:05