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-3462721-1307182288.opb
0.00/0.00 c File size is 18253 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: 1516 Constr: 2982 1516/0/1466 Lit: 10312 Watch. Lit: 7430
0.00/0.00 c Obj. Vars: 50 (3.29815 % of total variables)
0.00/0.04 c Pre-processing Time: 0.038 s
0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.04 c 0 1516 2982 10312 3 7430 9301 0 0 0.04
0.00/0.04 c Switching off lower bounding mode.
0.00/0.04 o 49
0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.04 c 0 1516 2983 10362 3 7433 9334 1 0 0.04
0.00/0.04 o 48
0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.04 c 0 1516 2984 10412 3 7437 9384 2 0 0.04
0.00/0.04 o 47
0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.04 c 0 1516 2985 10462 3 7442 9451 3 0 0.04
0.00/0.04 o 46
0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.04 c 0 1516 2986 10512 3 7448 9534 4 0 0.04
0.00/0.04 o 45
0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.04 c 0 1516 2987 10562 3 7455 9634 5 0 0.04
0.00/0.04 o 44
0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.04 c 0 1516 2988 10612 3 7463 9751 6 0 0.04
0.00/0.04 o 43
0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.04 c 0 1516 2989 10662 3 7472 9884 7 0 0.04
0.00/0.04 o 42
0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.04 c 0 1516 2990 10712 3 7482 10034 8 0 0.04
0.00/0.04 o 41
0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.04 c 0 1516 2991 10762 3 7493 10201 9 0 0.04
0.00/0.04 o 40
0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.04 c 0 1516 2992 10812 3 7505 10384 10 0 0.04
0.00/0.04 o 39
0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.04 c 0 1516 2993 10862 3 7518 10584 11 0 0.04
0.00/0.04 o 38
0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.04 c 0 1516 2994 10912 3 7532 10801 12 0 0.05
0.00/0.04 o 37
0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.05 c 0 1516 2995 10962 3 7547 11034 13 0 0.05
0.00/0.05 o 36
0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.05 c 0 1516 2996 11012 3 7563 11284 14 0 0.05
0.00/0.05 o 35
0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.05 c 0 1516 2997 11062 3 7580 11551 15 0 0.05
0.00/0.05 o 34
0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.05 c 0 1516 2998 11112 3 7598 11834 16 0 0.05
0.00/0.05 o 33
0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.05 c 0 1516 2999 11162 3 7617 12134 17 0 0.05
0.00/0.05 o 32
0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.05 c 0 1516 3000 11212 3 7637 12451 18 0 0.05
0.00/0.05 o 31
0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.05 c 0 1516 3001 11262 3 7658 12784 19 0 0.05
0.00/0.05 o 30
0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.05 c 0 1516 3002 11312 3 7680 13134 20 0 0.05
0.00/0.05 o 29
0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.05 c 0 1516 3003 11362 3 7703 13501 21 0 0.05
0.00/0.05 o 28
0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.05 c 0 1516 3004 11412 3 7727 13884 22 0 0.05
0.00/0.05 o 27
0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.05 c 0 1516 3005 11462 3 7752 14284 23 0 0.05
0.00/0.05 o 26
0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.05 c 0 1516 3006 11512 3 7778 14701 24 0 0.06
0.00/0.05 o 25
0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.05 c 0 1516 3007 11562 3 7805 15134 25 0 0.06
0.00/0.05 o 24
0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.05 c 0 1516 3008 11612 3 7833 15584 26 0 0.06
0.00/0.05 o 23
0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.06 c 0 1516 3009 11662 3 7862 16051 27 0 0.06
0.00/0.06 o 22
0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.06 c 0 1516 3010 11712 3 7892 16534 28 0 0.06
0.00/0.06 o 21
0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.06 c 0 1516 3011 11762 3 7923 17034 29 0 0.06
0.00/0.06 o 20
0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.06 c 0 1516 3012 11812 3 7955 17551 30 0 0.06
0.00/0.06 o 19
0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.06 c 0 1516 3013 11862 3 7988 18084 31 0 0.06
0.00/0.06 o 18
0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.06 c 0 1516 3014 11912 3 8022 18634 32 0 0.06
0.00/0.06 o 17
0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.06 c 0 1516 3015 11962 3 8057 19201 33 0 0.06
0.00/0.06 o 16
0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.06 c 0 1516 3016 12012 3 8093 19784 34 0 0.06
0.00/0.06 o 15
0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.06 c 0 1516 3017 12062 3 8130 20384 35 0 0.06
0.00/0.06 o 14
0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.06 c 0 1516 3018 12112 4 8168 21001 36 0 0.06
0.00/0.06 o 13
0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.06 c 0 1516 3019 12162 4 8207 21634 37 0 0.06
0.00/0.06 o 12
0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.06 c 0 1516 3020 12212 4 8247 22284 38 0 0.07
0.00/0.06 o 11
0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.06 c 0 1516 3021 12262 4 8288 22951 39 0 0.07
0.00/0.06 o 10
0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.06 c 0 1516 3022 12312 4 8330 23634 40 0 0.07
0.00/0.06 o 9
0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.07 c 0 1516 3023 12362 4 8373 24334 41 0 0.07
0.00/0.07 o 8
0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.07 c 0 1516 3024 12412 4 8417 25051 42 0 0.07
0.00/0.07 o 7
0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.07 c 0 1516 3025 12462 4 8462 25784 43 0 0.07
0.00/0.07 o 6
0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.07 c 0 1516 3026 12512 4 8508 26534 44 0 0.07
0.00/0.07 o 5
0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.07 c 0 1516 3027 12562 4 8555 27301 45 0 0.07
0.00/0.07 o 4
0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.07 c 0 1516 3028 12612 4 8603 28084 46 0 0.07
0.00/0.07 o 3
0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.29/0.31 c 5 1516 3037 12941 4 8668 28101 55 67 0.07
0.29/0.31 c 107 1516 3166 20776 6 8958 30912 184 972 0.11
0.29/0.31 c 357 1516 3479 44574 12 9584 34004 497 1849 0.19
0.29/0.31 o 2
0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.29/0.34 c 672 1516 3872 84031 21 10458 28118 890 2160 0.31
0.29/0.34 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.29/0.34 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time
0.29/0.34 c 50 717 216 6112 3937 93392 955 2096 0.34
0.29/0.34 c Objective: 2
0.29/0.34 s OPTIMUM FOUND
0.29/0.34 c Total time: 0.342 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-3462721-1307182288/watcher-3462721-1307182288 -o /tmp/evaluation-result-3462721-1307182288/solver-3462721-1307182288 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462721-1307182288.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.00 2.02 2.00 2/489 31149
/proc/meminfo: memFree=27084016/32951124 swapFree=63649284/67111528
[pid=31149] ppid=31147 vsize=11476 CPUtime=0.01 cores=1,3,5,7
/proc/31149/stat : 31149 (bsolo) R 31147 31149 28154 0 -1 4202496 460 0 0 0 1 0 0 0 25 0 1 0 829827276 11751424 409 33554432000 134512640 137138936 4291784496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31149/statm: 2869 409 185 642 0 2225 0
[startup+0.0972569 s]
/proc/loadavg: 2.00 2.02 2.00 2/489 31149
/proc/meminfo: memFree=27084016/32951124 swapFree=63649284/67111528
[pid=31149] ppid=31147 vsize=11612 CPUtime=0.09 cores=1,3,5,7
/proc/31149/stat : 31149 (bsolo) R 31147 31149 28154 0 -1 4202496 514 0 0 0 9 0 0 0 25 0 1 0 829827276 11890688 463 33554432000 134512640 137138936 4291784496 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31149/statm: 2903 463 192 642 0 2259 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11612
[startup+0.100254 s]
/proc/loadavg: 2.00 2.02 2.00 2/489 31149
/proc/meminfo: memFree=27084016/32951124 swapFree=63649284/67111528
[pid=31149] ppid=31147 vsize=11612 CPUtime=0.09 cores=1,3,5,7
/proc/31149/stat : 31149 (bsolo) R 31147 31149 28154 0 -1 4202496 515 0 0 0 9 0 0 0 25 0 1 0 829827276 11890688 464 33554432000 134512640 137138936 4291784496 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31149/statm: 2903 464 192 642 0 2259 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11612
[startup+0.300219 s]
/proc/loadavg: 2.00 2.02 2.00 2/489 31149
/proc/meminfo: memFree=27084016/32951124 swapFree=63649284/67111528
[pid=31149] ppid=31147 vsize=12472 CPUtime=0.29 cores=1,3,5,7
/proc/31149/stat : 31149 (bsolo) R 31147 31149 28154 0 -1 4202496 738 0 0 0 29 0 0 0 25 0 1 0 829827276 12771328 687 33554432000 134512640 137138936 4291784496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31149/statm: 3118 687 192 642 0 2474 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12472
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.344962
CPU time (s): 0.343946
CPU user time (s): 0.335948
CPU system time (s): 0.007998
CPU usage (%): 99.7055
Max. virtual memory (cumulated for all children) (KiB): 12472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.335948
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 781
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= 2
involuntary context switches= 2
runsolver used 0.004999 second user time and 0.015997 second system time
The end
Begin job on node130 at 2011-06-04 12:11:28
IDJOB=3462721
IDBENCH=48137
IDSOLVER=1955
FILE ID=node130/3462721-1307182288
RUNJOBID= node130-1307175073-30137
PBS_JOBID= 13508832
Free space on /tmp= 73852 MiB
SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_50_25_4.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462721-1307182288/watcher-3462721-1307182288 -o /tmp/evaluation-result-3462721-1307182288/solver-3462721-1307182288 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462721-1307182288.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= a45f8d339393416b6aacc4f79e0ac23e
RANDOM SEED=2121519130
node130.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.838
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.67
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.838
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.838
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.838
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.81
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.838
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.838
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.838
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.838
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.81
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 27084296 kB
Buffers: 286848 kB
Cached: 453736 kB
SwapCached: 9700 kB
Active: 5202172 kB
Inactive: 383192 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 27084296 kB
SwapTotal: 67111528 kB
SwapFree: 63649284 kB
Dirty: 3920 kB
Writeback: 0 kB
AnonPages: 4843280 kB
Mapped: 31452 kB
Slab: 158224 kB
PageTables: 54372 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 145162280 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= 73848 MiB
End job on node130 at 2011-06-04 12:11:28