Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 103.957 | 103.956 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551864--soft-66-100-0.wbo |
MD5SUM | c0a37f516cf4d2739ccd6d05a55220be |
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 | 21.1608 |
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 | 906 |
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 | 44801 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 44800 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 687 |
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-2690053-1277905000.wbo. 0.00/0.00 c Instance file HOME/instance-2690053-1277905000.wbo 0.00/0.00 c File size is 87889 bytes. 0.00/0.00 c Highest Coefficient sum: 687 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.00 c | 100 | 231 2707 8338 | 5500 100 21 | 0.002 % | 0.00/0.01 c | 251 | 231 2707 8338 | 6050 251 23 | 0.002 % | 0.01/0.01 c | 476 | 231 2707 8338 | 6655 476 28 | 0.002 % | 0.01/0.02 c | 813 | 231 2707 8338 | 7320 813 29 | 0.002 % | 0.01/0.04 c | 1319 | 231 2707 8338 | 8052 1319 29 | 0.002 % | 0.01/0.06 c | 2078 | 231 2707 8338 | 8857 2078 29 | 0.002 % | 0.09/0.10 c | 3221 | 231 2707 8338 | 9743 3221 29 | 0.002 % | 0.09/0.17 c | 4931 | 231 2707 8338 | 10717 4931 32 | 0.002 % | 0.19/0.28 c | 7493 | 231 2707 8338 | 11789 7493 31 | 0.002 % | 0.39/0.47 c | 11337 | 231 2707 8338 | 12968 11337 32 | 0.002 % | 0.79/0.80 c | 17107 | 231 2707 8338 | 14265 10555 33 | 0.002 % | 1.29/1.35 c | 25759 | 231 2707 8338 | 15692 12025 35 | 0.002 % | 2.19/2.29 c | 38733 | 231 2707 8338 | 17261 9223 34 | 0.002 % | 3.59/3.62 c | 58196 | 231 2707 8338 | 18987 11326 38 | 0.002 % | 5.99/6.01 c | 87388 | 231 2707 8338 | 20886 11895 39 | 0.002 % | 9.99/10.05 c | 131180 | 231 2707 8338 | 22974 13722 38 | 0.002 % | 16.09/16.14 c | 196866 | 231 2707 8338 | 25272 21679 36 | 0.002 % | 25.59/25.68 c | 295392 | 231 2707 8338 | 27799 12852 37 | 0.002 % | 40.29/40.30 c | 443182 | 231 2707 8338 | 30579 19229 39 | 0.002 % | 65.30/65.36 c | 664867 | 231 2707 8338 | 33637 26885 39 | 0.002 % | 75.80/75.83 c =============================================================================== 80.09/80.11 c core #1 80.09/80.11 c ============================[ Search Statistics ]============================== 80.09/80.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.09/80.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.09/80.11 c =============================================================================== 80.09/80.11 c | 0 | 699 3558 12392 | 5000 0 nan | 0.000 % | 80.20/80.28 c | 100 | 699 3558 12392 | 5500 100 22 | 0.000 % | 80.20/80.29 c | 250 | 699 3558 12392 | 6050 250 30 | 0.000 % | 80.20/80.30 c | 476 | 699 3558 12392 | 6655 476 28 | 0.000 % | 80.30/80.31 c | 814 | 699 3558 12392 | 7320 814 29 | 0.000 % | 80.30/80.33 c | 1321 | 699 3558 12392 | 8052 1321 28 | 0.000 % | 80.30/80.37 c | 2082 | 699 3558 12392 | 8857 2082 27 | 0.000 % | 80.39/80.42 c | 3221 | 699 3558 12392 | 9743 3221 31 | 0.000 % | 80.49/80.50 c | 4933 | 699 3558 12392 | 10717 4933 32 | 0.000 % | 80.59/80.66 c | 7496 | 699 3558 12392 | 11789 7496 34 | 0.000 % | 80.89/80.91 c | 11344 | 699 3558 12392 | 12968 11344 34 | 0.000 % | 81.19/81.29 c | 17112 | 699 3558 12392 | 14265 10567 33 | 0.000 % | 81.89/81.94 c | 25761 | 699 3558 12392 | 15692 12028 36 | 0.000 % | 82.99/83.08 c | 38735 | 699 3558 12392 | 17261 9241 38 | 0.000 % | 84.79/84.87 c | 58196 | 699 3558 12392 | 18987 11384 37 | 0.000 % | 87.79/87.88 c | 87391 | 699 3558 12392 | 20886 11950 41 | 0.000 % | 92.30/92.40 c | 131180 | 699 3558 12392 | 22974 13794 38 | 0.000 % | 99.69/99.79 c | 196864 | 699 3558 12392 | 25272 21779 40 | 0.000 % | 103.89/103.94 c =============================================================================== 103.89/103.94 c #cores: 1 103.89/103.94 c Final Weight: 1 103.89/103.94 o 1 103.89/103.94 s OPTIMUM FOUND 103.89/103.94 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 103.89/103.94 c Total CPU time: 102.85 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-2690053-1277905000/watcher-2690053-1277905000 -o /tmp/evaluation-result-2690053-1277905000/solver-2690053-1277905000 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690053-1277905000.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.02 2.18 2.22 4/178 23801 /proc/meminfo: memFree=31240968/32951124 swapFree=67111528/67111528 [pid=23801] ppid=23799 vsize=2808 CPUtime=0 /proc/23801/stat : 23801 (wbo1.4a) R 23799 23801 22591 0 -1 4202496 310 0 0 0 0 0 0 0 25 0 1 0 164139613 2875392 229 4089446400 134512640 135751879 4293695216 18446744073709551615 134638015 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23801/statm: 702 229 146 303 0 375 0 [startup+0.0169531 s] /proc/loadavg: 2.02 2.18 2.22 4/178 23801 /proc/meminfo: memFree=31240968/32951124 swapFree=67111528/67111528 [pid=23801] ppid=23799 vsize=2852 CPUtime=0.01 /proc/23801/stat : 23801 (wbo1.4a) R 23799 23801 22591 0 -1 4202496 368 0 0 0 1 0 0 0 25 0 1 0 164139613 2920448 265 4089446400 134512640 135751879 4293695216 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23801/statm: 713 265 143 303 0 408 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2852 [startup+0.100919 s] /proc/loadavg: 2.02 2.18 2.22 4/178 23801 /proc/meminfo: memFree=31240968/32951124 swapFree=67111528/67111528 [pid=23801] ppid=23799 vsize=3512 CPUtime=0.09 /proc/23801/stat : 23801 (wbo1.4a) R 23799 23801 22591 0 -1 4202496 544 0 0 0 9 0 0 0 25 0 1 0 164139613 3596288 441 4089446400 134512640 135751879 4293695216 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23801/statm: 878 441 143 303 0 573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.300885 s] /proc/loadavg: 2.02 2.18 2.22 4/178 23801 /proc/meminfo: memFree=31240968/32951124 swapFree=67111528/67111528 [pid=23801] ppid=23799 vsize=4832 CPUtime=0.29 /proc/23801/stat : 23801 (wbo1.4a) R 23799 23801 22591 0 -1 4202496 872 0 0 0 29 0 0 0 25 0 1 0 164139613 4947968 769 4089446400 134512640 135751879 4293695216 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23801/statm: 1208 769 143 303 0 903 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4832 [startup+0.700821 s] /proc/loadavg: 2.02 2.18 2.22 4/178 23801 /proc/meminfo: memFree=31240968/32951124 swapFree=67111528/67111528 [pid=23801] ppid=23799 vsize=6968 CPUtime=0.69 /proc/23801/stat : 23801 (wbo1.4a) R 23799 23801 22591 0 -1 4202496 1396 0 0 0 69 0 0 0 25 0 1 0 164139613 7135232 1293 4089446400 134512640 135751879 4293695216 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23801/statm: 1742 1293 143 303 0 1437 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6968 [startup+1.50069 s] /proc/loadavg: 2.02 2.18 2.22 3/179 23802 /proc/meminfo: memFree=31234760/32951124 swapFree=67111528/67111528 [pid=23801] ppid=23799 vsize=10404 CPUtime=1.49 /proc/23801/stat : 23801 (wbo1.4a) R 23799 23801 22591 0 -1 4202496 2262 0 0 0 147 2 0 0 25 0 1 0 164139613 10653696 2159 4089446400 134512640 135751879 4293695216 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23801/statm: 2601 2159 143 303 0 2296 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10404 [startup+3.10042 s] /proc/loadavg: 2.02 2.18 2.22 3/179 23802 /proc/meminfo: memFree=31230172/32951124 swapFree=67111528/67111528 [pid=23801] ppid=23799 vsize=17008 CPUtime=3.09 /proc/23801/stat : 23801 (wbo1.4a) R 23799 23801 22591 0 -1 4202496 3918 0 0 0 306 3 0 0 25 0 1 0 164139613 17416192 3815 4089446400 134512640 135751879 4293695216 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23801/statm: 4252 3815 143 303 0 3947 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17008 [startup+6.30088 s] /proc/loadavg: 2.02 2.17 2.22 3/179 23804 /proc/meminfo: memFree=31217356/32951124 swapFree=67111528/67111528 [pid=23801] ppid=23799 vsize=28808 CPUtime=6.29 /proc/23801/stat : 23801 (wbo1.4a) R 23799 23801 22591 0 -1 4202496 6852 0 0 0 622 7 0 0 25 0 1 0 164139613 29499392 6749 4089446400 134512640 135751879 4293695216 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23801/statm: 7202 6749 143 303 0 6897 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28808 [startup+12.7008 s] /proc/loadavg: 2.02 2.17 2.21 3/179 23804 /proc/meminfo: memFree=31196608/32951124 swapFree=67111528/67111528 [pid=23801] ppid=23799 vsize=49432 CPUtime=12.69 /proc/23801/stat : 23801 (wbo1.4a) R 23799 23801 22591 0 -1 4202496 12009 0 0 0 1254 15 0 0 25 0 1 0 164139613 50618368 11906 4089446400 134512640 135751879 4293695216 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23801/statm: 12358 11906 143 303 0 12053 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49432 [startup+25.5007 s] /proc/loadavg: 2.01 2.16 2.21 3/179 23804 /proc/meminfo: memFree=31156172/32951124 swapFree=67111528/67111528 [pid=23801] ppid=23799 vsize=88212 CPUtime=25.49 /proc/23801/stat : 23801 (wbo1.4a) R 23799 23801 22591 0 -1 4202496 21731 0 0 0 2521 28 0 0 25 0 1 0 164139613 90329088 21628 4089446400 134512640 135751879 4293695216 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23801/statm: 22053 21628 143 303 0 21748 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 88212 [startup+51.1004 s] /proc/loadavg: 2.01 2.15 2.20 3/179 23804 /proc/meminfo: memFree=31085700/32951124 swapFree=67111528/67111528 [pid=23801] ppid=23799 vsize=159180 CPUtime=51.09 /proc/23801/stat : 23801 (wbo1.4a) R 23799 23801 22591 0 -1 4202496 39452 0 0 0 5052 57 0 0 25 0 1 0 164139613 163000320 39349 4089446400 134512640 135751879 4293695216 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23801/statm: 39795 39349 143 303 0 39490 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 159180 [startup+102.306 s] /proc/loadavg: 2.00 2.12 2.19 3/179 23806 /proc/meminfo: memFree=30992176/32951124 swapFree=67111528/67111528 [pid=23801] ppid=23799 vsize=250808 CPUtime=102.3 /proc/23801/stat : 23801 (wbo1.4a) R 23799 23801 22591 0 -1 4202496 62391 0 0 0 10122 108 0 0 25 0 1 0 164139613 256827392 62255 4089446400 134512640 135751879 4293695216 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23801/statm: 62702 62255 146 303 0 62397 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 250808 Solver just ended. Dumping a history of the last processes samples [startup+103.101 s] /proc/loadavg: 2.00 2.12 2.19 3/179 23806 /proc/meminfo: memFree=30992176/32951124 swapFree=67111528/67111528 [pid=23801] ppid=23799 vsize=250808 CPUtime=103.09 /proc/23801/stat : 23801 (wbo1.4a) R 23799 23801 22591 0 -1 4202496 62391 0 0 0 10201 108 0 0 25 0 1 0 164139613 256827392 62255 4089446400 134512640 135751879 4293695216 18446744073709551615 134616418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23801/statm: 62702 62255 146 303 0 62397 0 Current children cumulated CPU time (s) 103.09 Current children cumulated vsize (KiB) 250808 [startup+103.501 s] /proc/loadavg: 2.00 2.12 2.19 3/179 23806 /proc/meminfo: memFree=30992176/32951124 swapFree=67111528/67111528 [pid=23801] ppid=23799 vsize=250808 CPUtime=103.49 /proc/23801/stat : 23801 (wbo1.4a) R 23799 23801 22591 0 -1 4202496 62391 0 0 0 10240 109 0 0 25 0 1 0 164139613 256827392 62255 4089446400 134512640 135751879 4293695216 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23801/statm: 62702 62255 146 303 0 62397 0 Current children cumulated CPU time (s) 103.49 Current children cumulated vsize (KiB) 250808 [startup+103.901 s] /proc/loadavg: 2.00 2.12 2.19 3/179 23806 /proc/meminfo: memFree=30992176/32951124 swapFree=67111528/67111528 [pid=23801] ppid=23799 vsize=250808 CPUtime=103.89 /proc/23801/stat : 23801 (wbo1.4a) R 23799 23801 22591 0 -1 4202496 62391 0 0 0 10280 109 0 0 25 0 1 0 164139613 256827392 62255 4089446400 134512640 135751879 4293695216 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23801/statm: 62702 62255 146 303 0 62397 0 Current children cumulated CPU time (s) 103.89 Current children cumulated vsize (KiB) 250808 Child status: 0 Real time (s): 103.956 CPU time (s): 103.957 CPU user time (s): 102.85 CPU system time (s): 1.10683 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 250972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 102.85 system time used= 1.10683 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62391 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= 1 involuntary context switches= 83 runsolver used 0.146977 second user time and 0.335948 second system time The end
Begin job on node118 at 2010-06-30 15:36:40 IDJOB=2690053 IDBENCH=78926 IDSOLVER=1200 FILE ID=node118/2690053-1277905000 PBS_JOBID= 11197185 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551864--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690053-1277905000/watcher-2690053-1277905000 -o /tmp/evaluation-result-2690053-1277905000/solver-2690053-1277905000 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690053-1277905000.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c0a37f516cf4d2739ccd6d05a55220be RANDOM SEED=737721045 node118.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.791 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.791 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.791 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.76 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.791 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.83 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.791 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.791 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.791 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.791 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 : 5448.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31241488 kB Buffers: 188592 kB Cached: 1297288 kB SwapCached: 0 kB Active: 553220 kB Inactive: 1015412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31241488 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2760 kB Writeback: 0 kB AnonPages: 82716 kB Mapped: 15856 kB Slab: 78292 kB PageTables: 4704 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 226100 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= 74208 MiB End job on node118 at 2010-06-30 15:38:24