0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00 c type "bsolo -h" for help
0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00 c Learning Strategy: Cardinality Constraint Learning
0.00/0.00 c Time Limit set to 1800
0.00/0.00 c Instance file HOME/instance-3462709-1307182130.opb
0.00/0.00 c File size is 18375 bytes.
0.00/0.00 c Highest Coefficient sum: 50
0.00/0.00 c Parsing was ok!!
0.00/0.00 c Total parsing time: 0.002 s
0.00/0.00 c Var: 1526 Constr: 3002 1526/0/1476 Lit: 10382 Watch. Lit: 7480
0.00/0.00 c Obj. Vars: 50 (3.27654 % of total variables)
0.03/0.04 c Pre-processing Time: 0.039 s
0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.04 c 0 1526 3002 10382 3 7480 9364 0 0 0.04
0.03/0.04 c Switching off lower bounding mode.
0.03/0.04 o 49
0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.04 c 0 1526 3003 10432 3 7483 9398 1 0 0.04
0.03/0.04 o 48
0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.04 c 0 1526 3004 10482 3 7487 9448 2 0 0.04
0.03/0.04 o 47
0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.04 c 0 1526 3005 10532 3 7492 9514 3 0 0.04
0.03/0.04 o 46
0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.04 c 0 1526 3006 10582 3 7498 9598 4 0 0.04
0.03/0.04 o 45
0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.04 c 0 1526 3007 10632 3 7505 9698 5 0 0.04
0.03/0.04 o 44
0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.04 c 0 1526 3008 10682 3 7513 9814 6 0 0.04
0.03/0.04 o 43
0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.04 c 0 1526 3009 10732 3 7522 9948 7 0 0.04
0.03/0.04 o 42
0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.04 c 0 1526 3010 10782 3 7532 10098 8 0 0.04
0.03/0.04 o 41
0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.04 c 0 1526 3011 10832 3 7543 10264 9 0 0.04
0.03/0.04 o 40
0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.04 c 0 1526 3012 10882 3 7555 10448 10 0 0.05
0.03/0.04 o 39
0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.04 c 0 1526 3013 10932 3 7568 10648 11 0 0.05
0.03/0.04 o 38
0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.04 c 0 1526 3014 10982 3 7582 10864 12 0 0.05
0.03/0.04 o 37
0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.05 c 0 1526 3015 11032 3 7597 11098 13 0 0.05
0.03/0.05 o 36
0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.05 c 0 1526 3016 11082 3 7613 11348 14 0 0.05
0.03/0.05 o 35
0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.05 c 0 1526 3017 11132 3 7630 11614 15 0 0.05
0.03/0.05 o 34
0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.05 c 0 1526 3018 11182 3 7648 11898 16 0 0.05
0.03/0.05 o 33
0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.05 c 0 1526 3019 11232 3 7667 12198 17 0 0.05
0.03/0.05 o 32
0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.05 c 0 1526 3020 11282 3 7687 12514 18 0 0.05
0.03/0.05 o 31
0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.05 c 0 1526 3021 11332 3 7708 12848 19 0 0.05
0.03/0.05 o 30
0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.05 c 0 1526 3022 11382 3 7730 13198 20 0 0.05
0.03/0.05 o 29
0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.05 c 0 1526 3023 11432 3 7753 13564 21 0 0.05
0.03/0.05 o 28
0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.05 c 0 1526 3024 11482 3 7777 13948 22 0 0.05
0.03/0.05 o 27
0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.05 c 0 1526 3025 11532 3 7802 14348 23 0 0.06
0.03/0.05 o 26
0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.05 c 0 1526 3026 11582 3 7828 14764 24 0 0.06
0.03/0.05 o 25
0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.05 c 0 1526 3027 11632 3 7855 15198 25 0 0.06
0.03/0.05 o 24
0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.05 c 0 1526 3028 11682 3 7883 15648 26 0 0.06
0.03/0.05 o 23
0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.06 c 0 1526 3029 11732 3 7912 16114 27 0 0.06
0.03/0.06 o 22
0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.06 c 0 1526 3030 11782 3 7942 16598 28 0 0.06
0.03/0.06 o 21
0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.06 c 0 1526 3031 11832 3 7973 17098 29 0 0.06
0.03/0.06 o 20
0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.06 c 0 1526 3032 11882 3 8005 17614 30 0 0.06
0.03/0.06 o 19
0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.06 c 0 1526 3033 11932 3 8038 18148 31 0 0.06
0.03/0.06 o 18
0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.06 c 0 1526 3034 11982 3 8072 18698 32 0 0.06
0.03/0.06 o 17
0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.06 c 0 1526 3035 12032 3 8107 19264 33 0 0.06
0.03/0.06 o 16
0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.06 c 0 1526 3036 12082 3 8143 19848 34 0 0.06
0.03/0.06 o 15
0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.06 c 0 1526 3037 12132 3 8180 20448 35 0 0.06
0.03/0.06 o 14
0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.06 c 0 1526 3038 12182 4 8218 21064 36 0 0.06
0.03/0.06 o 13
0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.06 c 0 1526 3039 12232 4 8257 21698 37 0 0.07
0.03/0.06 o 12
0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.06 c 0 1526 3040 12282 4 8297 22348 38 0 0.07
0.03/0.06 o 11
0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.06 c 0 1526 3041 12332 4 8338 23014 39 0 0.07
0.03/0.06 o 10
0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.06 c 0 1526 3042 12382 4 8380 23698 40 0 0.07
0.03/0.06 o 9
0.03/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.07 c 0 1526 3043 12432 4 8423 24398 41 0 0.07
0.03/0.07 o 8
0.03/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.07 c 0 1526 3044 12482 4 8467 25114 42 0 0.07
0.03/0.07 o 7
0.03/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.07 c 0 1526 3045 12532 4 8512 25848 43 0 0.07
0.03/0.07 o 6
0.03/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.07 c 0 1526 3046 12582 4 8558 26598 44 0 0.07
0.03/0.07 o 5
0.03/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.07 c 0 1526 3047 12632 4 8605 27364 45 0 0.07
0.03/0.07 o 4
0.03/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.03/0.07 c 0 1526 3048 12682 4 8653 28148 46 0 0.07
0.03/0.07 o 3
0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.49/0.52 c 2 1526 3052 12821 4 8708 28164 50 27 0.07
0.49/0.52 c 103 1526 3171 27366 8 8946 30981 169 1030 0.10
0.49/0.52 c 356 1526 3482 67004 19 9691 34080 480 1816 0.20
0.49/0.52 c 832 1526 4115 135017 32 10991 37489 1113 2149 0.39
0.49/0.52 o 2
0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.49/0.53 c 1129 1526 4483 161882 36 11820 28181 1481 2162 0.52
0.49/0.53 v x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
0.49/0.53 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time
0.49/0.53 c 51 1159 336 6569 4525 163365 1523 2158 0.54
0.49/0.53 c Objective: 2
0.49/0.53 s OPTIMUM FOUND
0.49/0.53 c Total time: 0.537 s
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-3462709-1307182130/watcher-3462709-1307182130 -o /tmp/evaluation-result-3462709-1307182130/solver-3462709-1307182130 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462709-1307182130.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.03 2.05 2.00 2/436 30824
/proc/meminfo: memFree=20635508/32951124 swapFree=60787360/67111528
[pid=30824] ppid=30822 vsize=11468 CPUtime=0.01 cores=1,3,5,7
/proc/30824/stat : 30824 (bsolo) R 30822 30824 29081 0 -1 4202496 460 0 0 0 1 0 0 0 25 0 1 0 829810915 11743232 409 33554432000 134512640 137138936 4293577088 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30824/statm: 2867 409 185 642 0 2223 0
[startup+0.033639 s]
/proc/loadavg: 2.03 2.05 2.00 2/436 30824
/proc/meminfo: memFree=20635508/32951124 swapFree=60787360/67111528
[pid=30824] ppid=30822 vsize=11468 CPUtime=0.03 cores=1,3,5,7
/proc/30824/stat : 30824 (bsolo) R 30822 30824 29081 0 -1 4202496 460 0 0 0 3 0 0 0 25 0 1 0 829810915 11743232 409 33554432000 134512640 137138936 4293577088 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30824/statm: 2867 409 185 642 0 2223 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11468
[startup+0.100628 s]
/proc/loadavg: 2.03 2.05 2.00 2/436 30824
/proc/meminfo: memFree=20635508/32951124 swapFree=60787360/67111528
[pid=30824] ppid=30822 vsize=11732 CPUtime=0.09 cores=1,3,5,7
/proc/30824/stat : 30824 (bsolo) R 30822 30824 29081 0 -1 4202496 544 0 0 0 9 0 0 0 25 0 1 0 829810915 12013568 493 33554432000 134512640 137138936 4293577088 18446744073709551615 136504420 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30824/statm: 2933 494 192 642 0 2289 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11732
[startup+0.30059 s]
/proc/loadavg: 2.03 2.05 2.00 2/436 30824
/proc/meminfo: memFree=20635508/32951124 swapFree=60787360/67111528
[pid=30824] ppid=30822 vsize=12876 CPUtime=0.29 cores=1,3,5,7
/proc/30824/stat : 30824 (bsolo) R 30822 30824 29081 0 -1 4202496 823 0 0 0 29 0 0 0 25 0 1 0 829810915 13185024 772 33554432000 134512640 137138936 4293577088 18446744073709551615 136505113 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30824/statm: 3219 772 192 642 0 2575 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12876
Solver just ended. Dumping a history of the last processes samples
[startup+0.500551 s]
/proc/loadavg: 2.03 2.05 2.00 2/436 30824
/proc/meminfo: memFree=20635508/32951124 swapFree=60787360/67111528
[pid=30824] ppid=30822 vsize=13500 CPUtime=0.49 cores=1,3,5,7
/proc/30824/stat : 30824 (bsolo) R 30822 30824 29081 0 -1 4202496 999 0 0 0 49 0 0 0 25 0 1 0 829810915 13824000 948 33554432000 134512640 137138936 4293577088 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30824/statm: 3375 948 192 642 0 2731 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13500
Child status: 0
Real time (s): 0.539089
CPU time (s): 0.538917
CPU user time (s): 0.533918
CPU system time (s): 0.004999
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 13500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.533918
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1021
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= 3
involuntary context switches= 2
runsolver used 0.004999 second user time and 0.012998 second system time
The end
Begin job on node135 at 2011-06-04 12:08:50
IDJOB=3462709
IDBENCH=48125
IDSOLVER=1955
FILE ID=node135/3462709-1307182130
RUNJOBID= node135-1307173971-30076
PBS_JOBID= 13508851
Free space on /tmp= 73964 MiB
SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_50_25_3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462709-1307182130/watcher-3462709-1307182130 -o /tmp/evaluation-result-3462709-1307182130/solver-3462709-1307182130 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462709-1307182130.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= da214a3f088b29c437fc8e7d0ee2cf8a
RANDOM SEED=1798416359
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: 20635804 kB
Buffers: 266720 kB
Cached: 632328 kB
SwapCached: 6168 kB
Active: 11517160 kB
Inactive: 540736 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 20635804 kB
SwapTotal: 67111528 kB
SwapFree: 60787360 kB
Dirty: 3892 kB
Writeback: 0 kB
AnonPages: 11158108 kB
Mapped: 26712 kB
Slab: 125608 kB
PageTables: 65652 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 124459896 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= 73960 MiB
End job on node135 at 2011-06-04 12:08:51