Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 107.679 | 107.676 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574864--soft-33-100-0.wbo |
MD5SUM | f08844d42f277d14946ba79cfba06e67 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 107.679 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 1788 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 89002 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 89001 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 671 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690055-1277905122.wbo. 0.00/0.00 c Instance file HOME/instance-2690055-1277905122.wbo 0.00/0.00 c File size is 92227 bytes. 0.00/0.00 c Highest Coefficient sum: 671 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 231 | 0.00/0.00 c | Number Clauses: 2684 | 0.00/0.00 c | Number Cardinality: 22 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 231 2707 8338 | 5500 100 24 | 0.002 % | 0.00/0.01 c | 250 | 231 2707 8338 | 6050 250 29 | 0.002 % | 0.00/0.02 c | 476 | 231 2707 8338 | 6655 476 32 | 0.002 % | 0.00/0.03 c | 815 | 231 2707 8338 | 7320 815 32 | 0.002 % | 0.00/0.04 c | 1322 | 231 2707 8338 | 8052 1322 30 | 0.002 % | 0.05/0.07 c | 2081 | 231 2707 8338 | 8857 2081 32 | 0.002 % | 0.09/0.11 c | 3221 | 231 2707 8338 | 9743 3221 32 | 0.002 % | 0.09/0.19 c | 4930 | 231 2707 8338 | 10717 4930 32 | 0.002 % | 0.29/0.31 c | 7493 | 231 2707 8338 | 11789 7493 33 | 0.002 % | 0.49/0.57 c | 11338 | 231 2707 8338 | 12968 11338 35 | 0.002 % | 0.89/0.93 c | 17105 | 231 2707 8338 | 14265 10562 36 | 0.002 % | 1.39/1.46 c | 25754 | 231 2707 8338 | 15692 12020 33 | 0.002 % | 2.49/2.55 c | 38731 | 231 2707 8338 | 17261 9202 38 | 0.002 % | 4.09/4.13 c | 58192 | 231 2707 8338 | 18987 11310 41 | 0.002 % | 6.89/6.96 c | 87384 | 231 2707 8338 | 20886 11845 42 | 0.002 % | 10.99/11.05 c | 131174 | 231 2707 8338 | 22974 13648 35 | 0.002 % | 17.29/17.35 c | 196858 | 231 2707 8338 | 25272 21356 37 | 0.002 % | 27.79/27.80 c | 295386 | 231 2707 8338 | 27799 25249 42 | 0.002 % | 44.00/44.08 c | 443175 | 231 2707 8338 | 30579 16534 39 | 0.002 % | 69.39/69.43 c | 664861 | 231 2707 8338 | 33637 19576 38 | 0.002 % | 99.79/99.87 c =============================================================================== 106.39/106.43 c core #1 106.39/106.43 c ============================[ Search Statistics ]============================== 106.39/106.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 106.39/106.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 106.39/106.43 c =============================================================================== 106.39/106.43 c | 0 | 1136 4404 16249 | 5000 0 nan | 0.000 % | 106.59/106.65 c | 102 | 1136 4404 16249 | 5500 102 27 | 0.000 % | 106.59/106.65 c | 253 | 1136 4404 16249 | 6050 253 25 | 0.000 % | 106.59/106.66 c | 478 | 1136 4404 16249 | 6655 478 29 | 0.000 % | 106.59/106.68 c | 815 | 1136 4404 16249 | 7320 815 31 | 0.000 % | 106.59/106.70 c | 1321 | 1136 4404 16249 | 8052 1321 31 | 0.000 % | 106.69/106.75 c | 2081 | 1136 4404 16249 | 8857 2081 34 | 0.000 % | 106.80/106.80 c | 3222 | 1136 4404 16249 | 9743 3222 34 | 0.000 % | 106.80/106.88 c | 4931 | 1136 4404 16249 | 10717 4931 33 | 0.000 % | 107.00/107.02 c | 7493 | 1136 4404 16249 | 11789 7493 33 | 0.000 % | 107.19/107.26 c | 11338 | 1136 4404 16249 | 12968 11338 33 | 0.000 % | 107.60/107.66 c =============================================================================== 107.60/107.66 c #cores: 1 107.60/107.66 c Final Weight: 1 107.60/107.66 o 1 107.60/107.66 s OPTIMUM FOUND 107.60/107.66 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 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 107.60/107.66 c Total CPU time: 106.672 s
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690055-1277905122/watcher-2690055-1277905122 -o /tmp/evaluation-result-2690055-1277905122/solver-2690055-1277905122 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690055-1277905122.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.03 4/178 15810 /proc/meminfo: memFree=31152116/32951124 swapFree=67111528/67111528 [pid=15810] ppid=15808 vsize=2664 CPUtime=0 /proc/15810/stat : 15810 (wbo1.4a) R 15808 15810 14110 0 -1 4202496 302 0 0 0 0 0 0 0 25 0 1 0 131806686 2727936 221 4089446400 134512640 135751879 4293735296 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15810/statm: 666 221 145 303 0 338 0 [startup+0.0608229 s] /proc/loadavg: 2.00 2.00 2.03 4/178 15810 /proc/meminfo: memFree=31152116/32951124 swapFree=67111528/67111528 [pid=15810] ppid=15808 vsize=3244 CPUtime=0.05 /proc/15810/stat : 15810 (wbo1.4a) R 15808 15810 14110 0 -1 4202496 468 0 0 0 5 0 0 0 25 0 1 0 131806686 3321856 364 4089446400 134512640 135751879 4293735296 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15810/statm: 811 364 143 303 0 506 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3244 [startup+0.100817 s] /proc/loadavg: 2.00 2.00 2.03 4/178 15810 /proc/meminfo: memFree=31152116/32951124 swapFree=67111528/67111528 [pid=15810] ppid=15808 vsize=3508 CPUtime=0.09 /proc/15810/stat : 15810 (wbo1.4a) R 15808 15810 14110 0 -1 4202496 547 0 0 0 9 0 0 0 25 0 1 0 131806686 3592192 443 4089446400 134512640 135751879 4293735296 18446744073709551615 134611024 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15810/statm: 877 443 143 303 0 572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3508 [startup+0.300783 s] /proc/loadavg: 2.00 2.00 2.03 4/178 15810 /proc/meminfo: memFree=31152116/32951124 swapFree=67111528/67111528 [pid=15810] ppid=15808 vsize=4828 CPUtime=0.29 /proc/15810/stat : 15810 (wbo1.4a) R 15808 15810 14110 0 -1 4202496 870 0 0 0 29 0 0 0 25 0 1 0 131806686 4943872 766 4089446400 134512640 135751879 4293735296 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15810/statm: 1207 766 143 303 0 902 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4828 [startup+0.700714 s] /proc/loadavg: 2.00 2.00 2.03 4/178 15810 /proc/meminfo: memFree=31152116/32951124 swapFree=67111528/67111528 [pid=15810] ppid=15808 vsize=6676 CPUtime=0.69 /proc/15810/stat : 15810 (wbo1.4a) R 15808 15810 14110 0 -1 4202496 1327 0 0 0 69 0 0 0 25 0 1 0 131806686 6836224 1223 4089446400 134512640 135751879 4293735296 18446744073709551615 134602989 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15810/statm: 1669 1223 143 303 0 1364 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6676 [startup+1.50057 s] /proc/loadavg: 2.00 2.00 2.03 3/179 15811 /proc/meminfo: memFree=31145412/32951124 swapFree=67111528/67111528 [pid=15810] ppid=15808 vsize=10372 CPUtime=1.49 /proc/15810/stat : 15810 (wbo1.4a) R 15808 15810 14110 0 -1 4202496 2245 0 0 0 147 2 0 0 25 0 1 0 131806686 10620928 2141 4089446400 134512640 135751879 4293735296 18446744073709551615 134606404 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15810/statm: 2593 2141 143 303 0 2288 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10372 [startup+3.10029 s] /proc/loadavg: 2.00 2.00 2.03 3/179 15811 /proc/meminfo: memFree=31138344/32951124 swapFree=67111528/67111528 [pid=15810] ppid=15808 vsize=16444 CPUtime=3.09 /proc/15810/stat : 15810 (wbo1.4a) R 15808 15810 14110 0 -1 4202496 3771 0 0 0 305 4 0 0 25 0 1 0 131806686 16838656 3667 4089446400 134512640 135751879 4293735296 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15810/statm: 4111 3667 143 303 0 3806 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16444 [startup+6.30072 s] /proc/loadavg: 2.00 2.00 2.03 3/179 15811 /proc/meminfo: memFree=31124588/32951124 swapFree=67111528/67111528 [pid=15810] ppid=15808 vsize=27536 CPUtime=6.29 /proc/15810/stat : 15810 (wbo1.4a) R 15808 15810 14110 0 -1 4202496 6555 0 0 0 621 8 0 0 25 0 1 0 131806686 28196864 6451 4089446400 134512640 135751879 4293735296 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15810/statm: 6884 6451 143 303 0 6579 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27536 [startup+12.7006 s] /proc/loadavg: 2.00 2.00 2.02 3/179 15811 /proc/meminfo: memFree=31080708/32951124 swapFree=67111528/67111528 [pid=15810] ppid=15808 vsize=48424 CPUtime=12.69 /proc/15810/stat : 15810 (wbo1.4a) R 15808 15810 14110 0 -1 4202496 11763 0 0 0 1253 16 0 0 25 0 1 0 131806686 49586176 11659 4089446400 134512640 135751879 4293735296 18446744073709551615 134616332 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15810/statm: 12106 11659 143 303 0 11801 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48424 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.02 3/179 15811 /proc/meminfo: memFree=31009592/32951124 swapFree=67111528/67111528 [pid=15810] ppid=15808 vsize=87256 CPUtime=25.49 /proc/15810/stat : 15810 (wbo1.4a) R 15808 15810 14110 0 -1 4202496 21464 0 0 0 2522 27 0 0 25 0 1 0 131806686 89350144 21360 4089446400 134512640 135751879 4293735296 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15810/statm: 21814 21360 143 303 0 21509 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 87256 [startup+51.1008 s] /proc/loadavg: 2.07 2.02 2.03 3/179 15812 /proc/meminfo: memFree=30889520/32951124 swapFree=67111528/67111528 [pid=15810] ppid=15808 vsize=158996 CPUtime=51.09 /proc/15810/stat : 15810 (wbo1.4a) R 15808 15810 14110 0 -1 4202496 39380 0 0 0 5054 55 0 0 25 0 1 0 131806686 162811904 39276 4089446400 134512640 135751879 4293735296 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15810/statm: 39749 39276 143 303 0 39444 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 158996 [startup+102.306 s] /proc/loadavg: 2.03 2.01 2.02 3/179 15813 /proc/meminfo: memFree=30653240/32951124 swapFree=67111528/67111528 [pid=15810] ppid=15808 vsize=307108 CPUtime=102.3 /proc/15810/stat : 15810 (wbo1.4a) R 15808 15810 14110 0 -1 4202496 76422 0 0 0 10133 97 0 0 25 0 1 0 131806686 314478592 76318 4089446400 134512640 135751879 4293735296 18446744073709551615 134516342 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15810/statm: 76777 76318 143 303 0 76472 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 307108 Solver just ended. Dumping a history of the last processes samples [startup+105.5 s] /proc/loadavg: 2.03 2.01 2.02 3/179 15813 /proc/meminfo: memFree=30642688/32951124 swapFree=67111528/67111528 [pid=15810] ppid=15808 vsize=311464 CPUtime=105.5 /proc/15810/stat : 15810 (wbo1.4a) R 15808 15810 14110 0 -1 4202496 77485 0 0 0 10453 97 0 0 25 0 1 0 131806686 318939136 77381 4089446400 134512640 135751879 4293735296 18446744073709551615 134618707 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15810/statm: 77866 77381 143 303 0 77561 0 Current children cumulated CPU time (s) 105.5 Current children cumulated vsize (KiB) 311464 [startup+106.301 s] /proc/loadavg: 2.03 2.01 2.02 3/179 15813 /proc/meminfo: memFree=30642688/32951124 swapFree=67111528/67111528 [pid=15810] ppid=15808 vsize=311612 CPUtime=106.29 /proc/15810/stat : 15810 (wbo1.4a) R 15808 15810 14110 0 -1 4202496 77535 0 0 0 10532 97 0 0 25 0 1 0 131806686 319090688 77431 4089446400 134512640 135751879 4293735296 18446744073709551615 134514451 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15810/statm: 77903 77431 145 303 0 77598 0 Current children cumulated CPU time (s) 106.29 Current children cumulated vsize (KiB) 311612 [startup+107.101 s] /proc/loadavg: 2.02 2.01 2.02 3/179 15813 /proc/meminfo: memFree=30640952/32951124 swapFree=67111528/67111528 [pid=15810] ppid=15808 vsize=311448 CPUtime=107.09 /proc/15810/stat : 15810 (wbo1.4a) R 15808 15810 14110 0 -1 4202496 77537 0 0 0 10611 98 0 0 18 0 1 0 131806686 318922752 77400 4089446400 134512640 135751879 4293735296 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15810/statm: 77862 77400 146 303 0 77557 0 Current children cumulated CPU time (s) 107.09 Current children cumulated vsize (KiB) 311448 [startup+107.501 s] /proc/loadavg: 2.02 2.01 2.02 3/179 15813 /proc/meminfo: memFree=30640952/32951124 swapFree=67111528/67111528 [pid=15810] ppid=15808 vsize=311448 CPUtime=107.49 /proc/15810/stat : 15810 (wbo1.4a) R 15808 15810 14110 0 -1 4202496 77539 0 0 0 10651 98 0 0 19 0 1 0 131806686 318922752 77402 4089446400 134512640 135751879 4293735296 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15810/statm: 77862 77402 146 303 0 77557 0 Current children cumulated CPU time (s) 107.49 Current children cumulated vsize (KiB) 311448 [startup+107.601 s] /proc/loadavg: 2.02 2.01 2.02 3/179 15813 /proc/meminfo: memFree=30640952/32951124 swapFree=67111528/67111528 [pid=15810] ppid=15808 vsize=311448 CPUtime=107.6 /proc/15810/stat : 15810 (wbo1.4a) R 15808 15810 14110 0 -1 4202496 77539 0 0 0 10661 99 0 0 19 0 1 0 131806686 318922752 77402 4089446400 134512640 135751879 4293735296 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15810/statm: 77862 77402 146 303 0 77557 0 Current children cumulated CPU time (s) 107.6 Current children cumulated vsize (KiB) 311448 Child status: 0 Real time (s): 107.676 CPU time (s): 107.679 CPU user time (s): 106.672 CPU system time (s): 1.00685 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 311612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 106.672 system time used= 1.00685 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77539 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= 335 runsolver used 0.140978 second user time and 0.356945 second system time The end
Begin job on node140 at 2010-06-30 15:38:42 IDJOB=2690055 IDBENCH=78927 IDSOLVER=1200 FILE ID=node140/2690055-1277905122 PBS_JOBID= 11197154 Free space on /tmp= 74196 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900574864--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690055-1277905122/watcher-2690055-1277905122 -o /tmp/evaluation-result-2690055-1277905122/solver-2690055-1277905122 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690055-1277905122.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f08844d42f277d14946ba79cfba06e67 RANDOM SEED=965564531 node140.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.790 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.58 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.790 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 : 5226.07 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.790 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.790 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.89 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.790 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 : 5421.15 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.790 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.790 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.790 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31152644 kB Buffers: 188792 kB Cached: 1278604 kB SwapCached: 0 kB Active: 936056 kB Inactive: 720068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31152644 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2748 kB Writeback: 0 kB AnonPages: 188624 kB Mapped: 16288 kB Slab: 79792 kB PageTables: 5420 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 337256 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= 74196 MiB End job on node140 at 2010-06-30 15:40:30