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-3462722-1307182288.opb
0.00/0.00 c File size is 18259 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: 1514 Constr: 2978 1514/0/1464 Lit: 10298 Watch. Lit: 7420
0.00/0.00 c Obj. Vars: 50 (3.30251 % of total variables)
0.00/0.04 c Pre-processing Time: 0.037 s
0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.04 c 0 1514 2978 10298 3 7420 9288 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 1514 2979 10348 3 7423 9322 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 1514 2980 10398 3 7427 9372 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 1514 2981 10448 3 7432 9438 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 1514 2982 10498 3 7438 9522 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 1514 2983 10548 3 7445 9622 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 1514 2984 10598 3 7453 9738 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 1514 2985 10648 3 7462 9872 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 1514 2986 10698 3 7472 10022 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 1514 2987 10748 3 7483 10188 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 1514 2988 10798 3 7495 10372 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 1514 2989 10848 3 7508 10572 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 1514 2990 10898 3 7522 10788 12 0 0.05
0.00/0.04 o 37
0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.04 c 0 1514 2991 10948 3 7537 11022 13 0 0.05
0.00/0.04 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 1514 2992 10998 3 7553 11272 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 1514 2993 11048 3 7570 11538 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 1514 2994 11098 3 7588 11822 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 1514 2995 11148 3 7607 12122 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 1514 2996 11198 3 7627 12438 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 1514 2997 11248 3 7648 12772 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 1514 2998 11298 3 7670 13122 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 1514 2999 11348 3 7693 13488 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 1514 3000 11398 3 7717 13872 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 1514 3001 11448 3 7742 14272 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 1514 3002 11498 3 7768 14688 24 0 0.05
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 1514 3003 11548 3 7795 15122 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 1514 3004 11598 3 7823 15572 26 0 0.06
0.00/0.05 o 23
0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.05 c 0 1514 3005 11648 3 7852 16038 27 0 0.06
0.00/0.05 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 1514 3006 11698 3 7882 16522 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 1514 3007 11748 3 7913 17022 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 1514 3008 11798 3 7945 17538 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 1514 3009 11848 3 7978 18072 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 1514 3010 11898 3 8012 18622 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 1514 3011 11948 3 8047 19188 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 1514 3012 11998 3 8083 19772 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 1514 3013 12048 3 8120 20372 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 1514 3014 12098 4 8158 20988 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 1514 3015 12148 4 8197 21622 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 1514 3016 12198 4 8237 22272 38 0 0.06
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 1514 3017 12248 4 8278 22938 39 0 0.07
0.00/0.06 o 10
0.05/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.05/0.06 c 0 1514 3018 12298 4 8320 23622 40 0 0.07
0.05/0.06 o 9
0.05/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.05/0.06 c 0 1514 3019 12348 4 8363 24322 41 0 0.07
0.05/0.06 o 8
0.05/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.05/0.07 c 0 1514 3020 12398 4 8407 25038 42 0 0.07
0.05/0.07 o 7
0.05/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.05/0.07 c 0 1514 3021 12448 4 8452 25772 43 0 0.07
0.05/0.07 o 6
0.05/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.05/0.07 c 0 1514 3022 12498 4 8498 26522 44 0 0.07
0.05/0.07 o 5
0.05/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.05/0.07 c 0 1514 3023 12548 4 8545 27288 45 0 0.07
0.05/0.07 o 4
0.05/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.05/0.07 c 0 1514 3024 12598 4 8593 28072 46 0 0.07
0.05/0.07 o 3
0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.59/0.69 c 1 1514 3027 12734 4 8646 28088 49 14 0.07
0.59/0.69 c 104 1514 3150 27466 8 8980 30897 172 1061 0.10
0.59/0.69 c 354 1514 3480 85109 24 9640 33987 502 1726 0.20
0.59/0.69 c 829 1514 4066 133689 32 10889 37386 1088 2026 0.41
0.59/0.69 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.59/0.69 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time
0.59/0.69 c 50 1445 318 5584 4847 183297 1869 2076 0.70
0.59/0.69 c Objective: 3
0.59/0.69 s OPTIMUM FOUND
0.59/0.69 c Total time: 0.696 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-3462722-1307182288/watcher-3462722-1307182288 -o /tmp/evaluation-result-3462722-1307182288/solver-3462722-1307182288 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462722-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 31179
/proc/meminfo: memFree=27083824/32951124 swapFree=63649284/67111528
[pid=31179] ppid=31177 vsize=11476 CPUtime=0.01 cores=1,3,5,7
/proc/31179/stat : 31179 (bsolo) R 31177 31179 28154 0 -1 4202496 458 0 0 0 1 0 0 0 25 0 1 0 829827323 11751424 407 33554432000 134512640 137138936 4291749520 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31179/statm: 2869 407 185 642 0 2225 0
[startup+0.0682341 s]
/proc/loadavg: 2.00 2.02 2.00 2/489 31179
/proc/meminfo: memFree=27083824/32951124 swapFree=63649284/67111528
[pid=31179] ppid=31177 vsize=11612 CPUtime=0.05 cores=1,3,5,7
/proc/31179/stat : 31179 (bsolo) R 31177 31179 28154 0 -1 4202496 508 0 0 0 5 0 0 0 25 0 1 0 829827323 11890688 457 33554432000 134512640 137138936 4291749520 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31179/statm: 2903 457 188 642 0 2259 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11612
[startup+0.100242 s]
/proc/loadavg: 2.00 2.02 2.00 2/489 31179
/proc/meminfo: memFree=27083824/32951124 swapFree=63649284/67111528
[pid=31179] ppid=31177 vsize=11744 CPUtime=0.08 cores=1,3,5,7
/proc/31179/stat : 31179 (bsolo) R 31177 31179 28154 0 -1 4202496 547 0 0 0 8 0 0 0 25 0 1 0 829827323 12025856 496 33554432000 134512640 137138936 4291749520 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31179/statm: 2936 496 192 642 0 2292 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11744
[startup+0.300198 s]
/proc/loadavg: 2.00 2.02 2.00 2/489 31179
/proc/meminfo: memFree=27083824/32951124 swapFree=63649284/67111528
[pid=31179] ppid=31177 vsize=12856 CPUtime=0.29 cores=1,3,5,7
/proc/31179/stat : 31179 (bsolo) R 31177 31179 28154 0 -1 4202496 817 0 0 0 28 1 0 0 25 0 1 0 829827323 13164544 766 33554432000 134512640 137138936 4291749520 18446744073709551615 134542672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31179/statm: 3214 766 192 642 0 2570 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12856
Solver just ended. Dumping a history of the last processes samples
[startup+0.500176 s]
/proc/loadavg: 2.00 2.02 2.00 2/489 31179
/proc/meminfo: memFree=27083824/32951124 swapFree=63649284/67111528
[pid=31179] ppid=31177 vsize=13352 CPUtime=0.49 cores=1,3,5,7
/proc/31179/stat : 31179 (bsolo) R 31177 31179 28154 0 -1 4202496 958 0 0 0 48 1 0 0 25 0 1 0 829827323 13672448 907 33554432000 134512640 137138936 4291749520 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31179/statm: 3338 907 192 642 0 2694 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13352
[startup+0.600157 s]
/proc/loadavg: 2.00 2.02 2.00 2/489 31179
/proc/meminfo: memFree=27083824/32951124 swapFree=63649284/67111528
[pid=31179] ppid=31177 vsize=13708 CPUtime=0.59 cores=1,3,5,7
/proc/31179/stat : 31179 (bsolo) R 31177 31179 28154 0 -1 4202496 1026 0 0 0 58 1 0 0 25 0 1 0 829827323 14036992 975 33554432000 134512640 137138936 4291749520 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31179/statm: 3427 975 192 642 0 2783 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 13708
Child status: 0
Real time (s): 0.700129
CPU time (s): 0.697893
CPU user time (s): 0.684895
CPU system time (s): 0.012998
CPU usage (%): 99.6806
Max. virtual memory (cumulated for all children) (KiB): 13708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.684895
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1093
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= 5
runsolver used 0.003999 second user time and 0.016997 second system time
The end
Begin job on node130 at 2011-06-04 12:11:28
IDJOB=3462722
IDBENCH=48138
IDSOLVER=1955
FILE ID=node130/3462722-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_5.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462722-1307182288/watcher-3462722-1307182288 -o /tmp/evaluation-result-3462722-1307182288/solver-3462722-1307182288 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462722-1307182288.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= f4c69768619389ba083d2740787a0405
RANDOM SEED=81834345
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: 27083980 kB
Buffers: 286856 kB
Cached: 453892 kB
SwapCached: 9700 kB
Active: 5202068 kB
Inactive: 383208 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 27083980 kB
SwapTotal: 67111528 kB
SwapFree: 63649284 kB
Dirty: 4000 kB
Writeback: 0 kB
AnonPages: 4843144 kB
Mapped: 31452 kB
Slab: 158544 kB
PageTables: 53796 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 145160768 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:29