Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 195.764 | 195.759 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563801--soft-33-100-0.wbo |
MD5SUM | 6f14288bb7c1e317bfd5e53473571ca7 |
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 | 33.2679 |
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 | 1839 |
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 | 91769 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 91768 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 719 |
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 PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.01 c constraints 9/14 clauses 859/1825 units 0 0.00/0.01 c vars 231 0.00/0.08 c 0.072988 16.8438 5 3879 0.00/0.08 o 511 3.89/3.91 c 0.488925 17.3594 1293 744616 3.89/3.91 o 427 3.89/3.92 c 0.491925 17.3594 668 745842 3.89/3.92 o 423 3.89/3.93 c 0.493924 17.3594 672 745997 3.89/3.93 o 422 3.89/3.93 c 0.495924 17.3594 674 746132 3.89/3.93 o 420 3.89/3.94 c 0.496924 17.3594 691 747577 3.89/3.94 o 349 3.89/3.95 c 0.499924 17.3594 695 748165 3.89/3.95 o 339 3.89/3.96 c 0.501923 17.3594 710 748704 3.89/3.96 o 337 3.89/3.97 c 0.503923 17.3594 738 749002 3.89/3.97 o 326 3.89/3.98 c 0.505923 17.3594 750 749366 3.89/3.98 o 311 3.99/4.02 c 0.508922 17.3594 873 750410 3.99/4.02 o 283 3.99/4.07 c 0.52492 17.3594 1077 751274 3.99/4.07 o 268 3.99/4.09 c 0.527919 17.3594 1122 751480 3.99/4.09 o 263 4.09/4.14 c 0.535918 17.3594 621 752188 4.09/4.14 o 247 4.19/4.28 c 0.582911 17.3594 971 753083 4.19/4.28 o 243 4.29/4.34 c 0.594909 17.3594 1097 754884 4.29/4.34 o 170 4.39/4.41 c 0.617906 17.3594 680 756276 4.39/4.41 o 153 4.49/4.55 c 0.642902 17.3594 1078 757299 4.49/4.55 o 147 4.69/4.70 c 0.675897 17.3594 792 758172 4.69/4.70 o 145 5.59/5.60 c 0.828873 17.3594 926 762618 5.59/5.60 o 120 5.90/5.92 c 0.899863 17.3594 1066 764380 5.90/5.92 o 117 6.59/6.63 c 1.11583 17.3594 1043 767915 6.59/6.63 o 112 6.69/6.78 c 1.16382 17.3594 763 769129 6.69/6.78 o 84 7.09/7.18 c 1.2878 17.3594 776 771554 7.09/7.18 o 78 7.60/7.61 c 1.41878 17.4844 1393 774055 7.60/7.61 o 75 7.60/7.63 c 1.42578 17.4844 1462 774346 7.60/7.63 o 66 7.60/7.65 c 1.43378 17.4844 1534 774524 7.60/7.65 o 64 7.60/7.67 c 1.43878 17.4844 1569 774836 7.60/7.67 o 53 11.69/11.70 c 3.02454 17.875 1493 802424 11.69/11.70 o 34 14.99/15.10 c 4.93825 18.5117 1421 838235 14.99/15.10 o 32 15.59/15.64 c 5.2482 18.5117 1729 844402 15.59/15.64 o 27 21.79/21.88 c 8.97463 18.5117 2854 914743 21.79/21.88 o 22 22.79/22.84 c 9.54755 18.5117 2106 926234 22.79/22.84 o 13 23.39/23.46 c 9.96848 18.5117 2314 935671 23.39/23.46 o 11 23.79/23.87 c 10.2434 18.5117 2087 942242 23.79/23.87 o 8 24.10/24.15 c 10.4354 18.5117 1906 946905 24.10/24.15 o 6 24.20/24.21 c 10.4814 18.5117 2644 948232 24.20/24.21 o 5 36.49/36.52 c 19.826 18.5117 1725 1149337 36.49/36.52 o 1 195.70/195.74 c 140.972 19.5703 2801 3724280 195.70/195.74 s OPTIMUM FOUND 195.70/195.74 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
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695537-1277902980/watcher-2695537-1277902980 -o /tmp/evaluation-result-2695537-1277902980/solver-2695537-1277902980 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695537-1277902980.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.06 2.18 2.24 3/182 12348 /proc/meminfo: memFree=31570304/32951124 swapFree=67111528/67111528 [pid=12348] ppid=12346 vsize=2136 CPUtime=0 /proc/12348/stat : 12348 (pbct) R 12346 12348 11955 0 -1 4202496 256 0 0 0 0 0 0 0 20 0 1 0 131593573 2187264 175 4089446400 134512640 136421960 4286660512 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12348/statm: 534 175 144 467 0 65 0 [startup+0.087974 s] /proc/loadavg: 2.06 2.18 2.24 3/182 12348 /proc/meminfo: memFree=31570304/32951124 swapFree=67111528/67111528 [pid=12348] ppid=12346 vsize=17652 CPUtime=0.08 /proc/12348/stat : 12348 (pbct) R 12346 12348 11955 0 -1 4202496 4078 0 0 0 7 1 0 0 21 0 1 0 131593573 18075648 3996 4089446400 134512640 136421960 4286660512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12348/statm: 4413 3996 236 467 0 3944 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 17652 [startup+0.100968 s] /proc/loadavg: 2.06 2.18 2.24 3/182 12348 /proc/meminfo: memFree=31570304/32951124 swapFree=67111528/67111528 [pid=12348] ppid=12346 vsize=17652 CPUtime=0.09 /proc/12348/stat : 12348 (pbct) R 12346 12348 11955 0 -1 4202496 4079 0 0 0 7 2 0 0 21 0 1 0 131593573 18075648 3997 4089446400 134512640 136421960 4286660512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12348/statm: 4413 3997 237 467 0 3944 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17652 [startup+0.300933 s] /proc/loadavg: 2.06 2.18 2.24 3/182 12348 /proc/meminfo: memFree=31570304/32951124 swapFree=67111528/67111528 [pid=12348] ppid=12346 vsize=17652 CPUtime=0.29 /proc/12348/stat : 12348 (pbct) R 12346 12348 11955 0 -1 4202496 4079 0 0 0 10 19 0 0 21 0 1 0 131593573 18075648 3997 4089446400 134512640 136421960 4286660512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12348/statm: 4413 3997 237 467 0 3944 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17652 [startup+0.700849 s] /proc/loadavg: 2.06 2.18 2.24 3/182 12348 /proc/meminfo: memFree=31570304/32951124 swapFree=67111528/67111528 [pid=12348] ppid=12346 vsize=17652 CPUtime=0.69 /proc/12348/stat : 12348 (pbct) R 12346 12348 11955 0 -1 4202496 4079 0 0 0 15 54 0 0 22 0 1 0 131593573 18075648 3997 4089446400 134512640 136421960 4286660512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12348/statm: 4413 3997 237 467 0 3944 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17652 [startup+1.5007 s] /proc/loadavg: 2.06 2.18 2.24 3/183 12349 /proc/meminfo: memFree=31554920/32951124 swapFree=67111528/67111528 [pid=12348] ppid=12346 vsize=17652 CPUtime=1.49 /proc/12348/stat : 12348 (pbct) R 12346 12348 11955 0 -1 4202496 4079 0 0 0 21 128 0 0 25 0 1 0 131593573 18075648 3997 4089446400 134512640 136421960 4286660512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12348/statm: 4413 3997 237 467 0 3944 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17652 [startup+3.10042 s] /proc/loadavg: 2.06 2.18 2.24 3/183 12349 /proc/meminfo: memFree=31554920/32951124 swapFree=67111528/67111528 [pid=12348] ppid=12346 vsize=17772 CPUtime=3.09 /proc/12348/stat : 12348 (pbct) R 12346 12348 11955 0 -1 4202496 4093 0 0 0 41 268 0 0 25 0 1 0 131593573 18198528 4011 4089446400 134512640 136421960 4286660512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12348/statm: 4443 4011 237 467 0 3974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17772 [startup+6.30083 s] /proc/loadavg: 2.05 2.17 2.24 3/183 12349 /proc/meminfo: memFree=31555484/32951124 swapFree=67111528/67111528 [pid=12348] ppid=12346 vsize=17772 CPUtime=6.3 /proc/12348/stat : 12348 (pbct) R 12346 12348 11955 0 -1 4202496 4134 0 0 0 102 528 0 0 25 0 1 0 131593573 18198528 4032 4089446400 134512640 136421960 4286660512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12348/statm: 4443 4032 237 467 0 3974 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 17772 [startup+12.7007 s] /proc/loadavg: 2.05 2.17 2.23 3/183 12350 /proc/meminfo: memFree=31555748/32951124 swapFree=67111528/67111528 [pid=12348] ppid=12346 vsize=18300 CPUtime=12.69 /proc/12348/stat : 12348 (pbct) R 12346 12348 11955 0 -1 4202496 4252 0 0 0 354 915 0 0 25 0 1 0 131593573 18739200 4142 4089446400 134512640 136421960 4286660512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12348/statm: 4575 4142 237 467 0 4106 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18300 [startup+25.5003 s] /proc/loadavg: 2.04 2.16 2.23 3/183 12350 /proc/meminfo: memFree=31556008/32951124 swapFree=67111528/67111528 [pid=12348] ppid=12346 vsize=18952 CPUtime=25.49 /proc/12348/stat : 12348 (pbct) R 12346 12348 11955 0 -1 4202496 4453 0 0 0 1141 1408 0 0 25 0 1 0 131593573 19406848 4335 4089446400 134512640 136421960 4286660512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12348/statm: 4738 4335 237 467 0 4269 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18952 [startup+51.1007 s] /proc/loadavg: 2.10 2.16 2.23 3/183 12351 /proc/meminfo: memFree=31555568/32951124 swapFree=67111528/67111528 [pid=12348] ppid=12346 vsize=19084 CPUtime=51.09 /proc/12348/stat : 12348 (pbct) R 12346 12348 11955 0 -1 4202496 4486 0 0 0 3081 2028 0 0 25 0 1 0 131593573 19542016 4367 4089446400 134512640 136421960 4286660512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12348/statm: 4771 4367 237 467 0 4302 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 19084 [startup+102.305 s] /proc/loadavg: 2.04 2.14 2.21 3/183 12352 /proc/meminfo: memFree=31554928/32951124 swapFree=67111528/67111528 [pid=12348] ppid=12346 vsize=19600 CPUtime=102.3 /proc/12348/stat : 12348 (pbct) R 12346 12348 11955 0 -1 4202496 4593 0 0 0 6994 3236 0 0 25 0 1 0 131593573 20070400 4474 4089446400 134512640 136421960 4286660512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12348/statm: 4900 4474 237 467 0 4431 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 19600 [startup+162.3 s] /proc/loadavg: 2.01 2.11 2.20 3/183 12354 /proc/meminfo: memFree=31554536/32951124 swapFree=67111528/67111528 [pid=12348] ppid=12346 vsize=19976 CPUtime=162.29 /proc/12348/stat : 12348 (pbct) R 12346 12348 11955 0 -1 4202496 4695 0 0 0 11557 4672 0 0 25 0 1 0 131593573 20455424 4576 4089446400 134512640 136421960 4286660512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12348/statm: 4994 4576 237 467 0 4525 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 19976 Solver just ended. Dumping a history of the last processes samples [startup+179.1 s] /proc/loadavg: 2.01 2.10 2.19 3/183 12354 /proc/meminfo: memFree=31554404/32951124 swapFree=67111528/67111528 [pid=12348] ppid=12346 vsize=19976 CPUtime=179.1 /proc/12348/stat : 12348 (pbct) R 12346 12348 11955 0 -1 4202496 4695 0 0 0 12850 5060 0 0 25 0 1 0 131593573 20455424 4576 4089446400 134512640 136421960 4286660512 18446744073709551615 134862003 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12348/statm: 4994 4576 237 467 0 4525 0 Current children cumulated CPU time (s) 179.1 Current children cumulated vsize (KiB) 19976 [startup+185.5 s] /proc/loadavg: 2.08 2.12 2.19 3/183 12355 /proc/meminfo: memFree=31554404/32951124 swapFree=67111528/67111528 [pid=12348] ppid=12346 vsize=19976 CPUtime=185.49 /proc/12348/stat : 12348 (pbct) R 12346 12348 11955 0 -1 4202496 4708 0 0 0 13347 5202 0 0 25 0 1 0 131593573 20455424 4589 4089446400 134512640 136421960 4286660512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12348/statm: 4994 4589 237 467 0 4525 0 Current children cumulated CPU time (s) 185.49 Current children cumulated vsize (KiB) 19976 [startup+191.901 s] /proc/loadavg: 2.07 2.11 2.19 3/183 12355 /proc/meminfo: memFree=31554400/32951124 swapFree=67111528/67111528 [pid=12348] ppid=12346 vsize=19976 CPUtime=191.9 /proc/12348/stat : 12348 (pbct) R 12346 12348 11955 0 -1 4202496 4708 0 0 0 13819 5371 0 0 25 0 1 0 131593573 20455424 4589 4089446400 134512640 136421960 4286660512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12348/statm: 4994 4589 237 467 0 4525 0 Current children cumulated CPU time (s) 191.9 Current children cumulated vsize (KiB) 19976 [startup+193.501 s] /proc/loadavg: 2.07 2.11 2.19 3/183 12355 /proc/meminfo: memFree=31554400/32951124 swapFree=67111528/67111528 [pid=12348] ppid=12346 vsize=19976 CPUtime=193.5 /proc/12348/stat : 12348 (pbct) R 12346 12348 11955 0 -1 4202496 4708 0 0 0 13936 5414 0 0 25 0 1 0 131593573 20455424 4589 4089446400 134512640 136421960 4286660512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12348/statm: 4994 4589 237 467 0 4525 0 Current children cumulated CPU time (s) 193.5 Current children cumulated vsize (KiB) 19976 [startup+195.101 s] /proc/loadavg: 2.07 2.11 2.19 3/183 12355 /proc/meminfo: memFree=31554400/32951124 swapFree=67111528/67111528 [pid=12348] ppid=12346 vsize=20104 CPUtime=195.09 /proc/12348/stat : 12348 (pbct) R 12346 12348 11955 0 -1 4202496 4712 0 0 0 14050 5459 0 0 25 0 1 0 131593573 20586496 4593 4089446400 134512640 136421960 4286660512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12348/statm: 5026 4593 237 467 0 4557 0 Current children cumulated CPU time (s) 195.09 Current children cumulated vsize (KiB) 20104 [startup+195.5 s] /proc/loadavg: 2.07 2.11 2.19 3/183 12355 /proc/meminfo: memFree=31554400/32951124 swapFree=67111528/67111528 [pid=12348] ppid=12346 vsize=20036 CPUtime=195.5 /proc/12348/stat : 12348 (pbct) R 12346 12348 11955 0 -1 4202496 4712 0 0 0 14080 5470 0 0 25 0 1 0 131593573 20516864 4593 4089446400 134512640 136421960 4286660512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12348/statm: 5009 4593 237 467 0 4540 0 Current children cumulated CPU time (s) 195.5 Current children cumulated vsize (KiB) 20036 [startup+195.7 s] /proc/loadavg: 2.07 2.11 2.19 3/183 12355 /proc/meminfo: memFree=31554276/32951124 swapFree=67111528/67111528 [pid=12348] ppid=12346 vsize=20036 CPUtime=195.7 /proc/12348/stat : 12348 (pbct) R 12346 12348 11955 0 -1 4202496 4712 0 0 0 14094 5476 0 0 25 0 1 0 131593573 20516864 4593 4089446400 134512640 136421960 4286660512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12348/statm: 5009 4593 237 467 0 4540 0 Current children cumulated CPU time (s) 195.7 Current children cumulated vsize (KiB) 20036 Child status: 0 Real time (s): 195.759 CPU time (s): 195.764 CPU user time (s): 140.988 CPU system time (s): 54.7767 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 20104 getrusage(RUSAGE_CHILDREN,...) data: user time used= 140.988 system time used= 54.7767 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4717 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= 277 runsolver used 0.299954 second user time and 0.598908 second system time The end
Begin job on node133 at 2010-06-30 15:03:00 IDJOB=2695537 IDBENCH=78906 IDSOLVER=1208 FILE ID=node133/2695537-1277902980 PBS_JOBID= 11197223 Free space on /tmp= 74208 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563801--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695537-1277902980/watcher-2695537-1277902980 -o /tmp/evaluation-result-2695537-1277902980/solver-2695537-1277902980 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695537-1277902980.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6f14288bb7c1e317bfd5e53473571ca7 RANDOM SEED=279402819 node133.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.821 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.64 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.821 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.821 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.82 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.821 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 : 7296.74 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.821 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.74 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.821 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.74 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.821 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.821 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: 31570948 kB Buffers: 183132 kB Cached: 976560 kB SwapCached: 0 kB Active: 601756 kB Inactive: 636488 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31570948 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2000 kB Writeback: 0 kB AnonPages: 78692 kB Mapped: 15460 kB Slab: 78216 kB PageTables: 5716 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 224724 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= 74208 MiB End job on node133 at 2010-06-30 15:06:15