Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 125.378 | 125.375 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo |
MD5SUM | e433b9b816c291c8bf4fd4860d096bb6 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 16 |
Best CPU time to get the best result obtained on this benchmark | 0.301953 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 101 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 4944 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 4943 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1320 |
Number of bits of the biggest sum of numbers | 11 |
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.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 0/71 clauses 0/30 units 0 0.00/0.00 c vars 169 0.01/0.04 c 0.034994 7.61719 111 905 0.01/0.04 o 876 0.01/0.04 c 0.035994 7.75 120 1028 0.01/0.04 o 844 0.01/0.04 c 0.035994 7.75 127 1173 0.01/0.04 o 804 0.01/0.04 c 0.036994 7.75 128 1256 0.01/0.04 o 736 0.01/0.04 c 0.037994 7.75 128 1352 0.01/0.04 o 658 0.01/0.05 c 0.039993 7.75 146 1496 0.01/0.05 o 563 0.09/0.10 c 0.071989 7.875 572 2437 0.09/0.10 o 546 0.09/0.16 c 0.114982 7.875 396 3391 0.09/0.16 o 537 0.09/0.16 c 0.115982 7.875 404 3418 0.09/0.16 o 536 0.09/0.16 c 0.117982 7.875 416 3481 0.09/0.16 o 503 0.19/0.25 c 0.179972 7.875 397 5194 0.19/0.25 o 498 0.19/0.26 c 0.187971 7.875 470 5388 0.19/0.26 o 439 0.19/0.27 c 0.198969 7.875 580 5748 0.19/0.27 o 387 0.29/0.30 c 0.219966 7.875 432 6198 0.29/0.30 o 379 0.29/0.30 c 0.220966 7.875 439 6279 0.29/0.30 o 330 0.89/0.95 c 0.712891 8 575 15680 0.89/0.95 o 321 1.10/1.11 c 0.831873 8 672 18016 1.10/1.11 o 305 1.10/1.15 c 0.855869 8 630 18634 1.10/1.15 o 304 1.10/1.18 c 0.876866 8 506 19027 1.10/1.18 o 297 1.29/1.36 c 1.02184 8 462 21280 1.29/1.36 o 281 1.29/1.38 c 1.04384 8 627 21630 1.29/1.38 o 271 1.39/1.40 c 1.05684 8 719 21826 1.39/1.40 o 263 7.20/7.21 c 5.20121 8.125 563 94943 7.20/7.21 o 260 9.20/9.26 c 6.80596 8.125 593 119004 9.20/9.26 o 248 14.50/14.50 c 10.4784 8.25 459 176872 14.50/14.50 o 239 15.59/15.61 c 11.3533 8.25 818 190862 15.59/15.61 o 234 15.80/15.86 c 11.5592 8.25 435 194097 15.80/15.86 o 233 16.40/16.42 c 11.9962 8.25 528 201112 16.40/16.42 o 221 16.40/16.42 c 12.0002 8.25 573 201212 16.40/16.42 o 214 16.40/16.43 c 12.0022 8.25 600 201504 16.40/16.43 o 199 17.90/17.98 c 13.318 8.25 672 219814 17.90/17.98 o 197 22.59/22.67 c 17.1774 8.25 868 273161 22.59/22.67 o 170 23.19/23.28 c 17.6953 8.25 629 280259 23.19/23.28 o 139 24.69/24.77 c 18.9751 8.25 644 296989 24.69/24.77 o 121 24.80/24.83 c 19.0271 8.25 606 297687 24.80/24.83 o 113 24.80/24.87 c 19.0661 8.25 505 298301 24.80/24.87 o 85 25.90/25.91 c 19.95 8.25 938 310146 25.90/25.91 o 84 31.50/31.51 c 24.1133 8.375 610 370800 31.50/31.51 o 83 31.60/31.62 c 24.1923 8.375 539 372215 31.60/31.62 o 81 31.80/31.81 c 24.3253 8.375 555 374533 31.80/31.81 o 67 34.10/34.15 c 26.204 8.375 1197 400986 34.10/34.15 o 41 35.10/35.14 c 27.0949 8.375 943 412568 35.10/35.14 o 38 35.10/35.14 c 27.0969 8.375 477 412609 35.10/35.14 o 26 51.30/51.38 c 41.1857 8.47266 821 611925 51.30/51.38 o 24 58.40/58.49 c 47.4628 8.47266 783 697797 58.40/58.49 o 22 71.00/71.02 c 57.9032 8.47266 761 849308 71.00/71.02 o 16 125.30/125.36 c 104.848 8.57812 626 1541627 125.30/125.36 s OPTIMUM FOUND 125.30/125.36 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
OK 16
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699396-1278464281/watcher-2699396-1278464281 -o /tmp/evaluation-result-2699396-1278464281/solver-2699396-1278464281 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699396-1278464281.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: 1.91 1.97 1.93 4/178 13669 /proc/meminfo: memFree=30868140/32950928 swapFree=67111528/67111528 [pid=13669] ppid=13667 vsize=3968 CPUtime=0 /proc/13669/stat : 13669 (pbct) R 13667 13669 12901 0 -1 4202496 690 0 0 0 0 0 0 0 25 0 1 0 14641660 4063232 609 4089446400 134512640 136422188 4294756352 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13669/statm: 992 612 193 467 0 523 0 [startup+0.016183 s] /proc/loadavg: 1.91 1.97 1.93 4/178 13669 /proc/meminfo: memFree=30868140/32950928 swapFree=67111528/67111528 [pid=13669] ppid=13667 vsize=6000 CPUtime=0.01 /proc/13669/stat : 13669 (pbct) R 13667 13669 12901 0 -1 4202496 1210 0 0 0 1 0 0 0 25 0 1 0 14641660 6144000 1129 4089446400 134512640 136422188 4294756352 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13669/statm: 1500 1131 193 467 0 1031 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6000 [startup+0.100209 s] /proc/loadavg: 1.91 1.97 1.93 4/178 13669 /proc/meminfo: memFree=30868140/32950928 swapFree=67111528/67111528 [pid=13669] ppid=13667 vsize=8060 CPUtime=0.09 /proc/13669/stat : 13669 (pbct) R 13667 13669 12901 0 -1 4202496 1713 0 0 0 7 2 0 0 25 0 1 0 14641660 8253440 1626 4089446400 134512640 136422188 4294756352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13669/statm: 2015 1626 236 467 0 1546 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8060 [startup+0.300143 s] /proc/loadavg: 1.91 1.97 1.93 4/178 13669 /proc/meminfo: memFree=30868140/32950928 swapFree=67111528/67111528 [pid=13669] ppid=13667 vsize=8060 CPUtime=0.29 /proc/13669/stat : 13669 (pbct) R 13667 13669 12901 0 -1 4202496 1743 0 0 0 21 8 0 0 18 0 1 0 14641660 8253440 1649 4089446400 134512640 136422188 4294756352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13669/statm: 2015 1649 236 467 0 1546 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8060 [startup+0.701122 s] /proc/loadavg: 1.91 1.97 1.93 4/178 13669 /proc/meminfo: memFree=30868140/32950928 swapFree=67111528/67111528 [pid=13669] ppid=13667 vsize=8188 CPUtime=0.69 /proc/13669/stat : 13669 (pbct) R 13667 13669 12901 0 -1 4202496 1781 0 0 0 52 17 0 0 18 0 1 0 14641660 8384512 1685 4089446400 134512640 136422188 4294756352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13669/statm: 2047 1685 236 467 0 1578 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8188 [startup+1.50098 s] /proc/loadavg: 1.91 1.97 1.93 3/179 13670 /proc/meminfo: memFree=30862516/32950928 swapFree=67111528/67111528 [pid=13669] ppid=13667 vsize=8188 CPUtime=1.49 /proc/13669/stat : 13669 (pbct) R 13667 13669 12901 0 -1 4202496 1789 0 0 0 113 36 0 0 19 0 1 0 14641660 8384512 1686 4089446400 134512640 136422188 4294756352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13669/statm: 2047 1686 236 467 0 1578 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8188 [startup+3.1007 s] /proc/loadavg: 1.91 1.97 1.93 3/179 13670 /proc/meminfo: memFree=30862392/32950928 swapFree=67111528/67111528 [pid=13669] ppid=13667 vsize=8188 CPUtime=3.09 /proc/13669/stat : 13669 (pbct) R 13667 13669 12901 0 -1 4202496 1792 0 0 0 234 75 0 0 23 0 1 0 14641660 8384512 1689 4089446400 134512640 136422188 4294756352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13669/statm: 2047 1689 236 467 0 1578 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8188 [startup+6.30007 s] /proc/loadavg: 1.92 1.97 1.93 3/179 13670 /proc/meminfo: memFree=30862252/32950928 swapFree=67111528/67111528 [pid=13669] ppid=13667 vsize=8316 CPUtime=6.29 /proc/13669/stat : 13669 (pbct) R 13667 13669 12901 0 -1 4202496 1802 0 0 0 454 175 0 0 25 0 1 0 14641660 8515584 1699 4089446400 134512640 136422188 4294756352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13669/statm: 2079 1699 236 467 0 1610 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8316 [startup+12.7009 s] /proc/loadavg: 1.92 1.97 1.93 3/179 13670 /proc/meminfo: memFree=30862128/32950928 swapFree=67111528/67111528 [pid=13669] ppid=13667 vsize=8316 CPUtime=12.69 /proc/13669/stat : 13669 (pbct) R 13667 13669 12901 0 -1 4202496 1814 0 0 0 912 357 0 0 25 0 1 0 14641660 8515584 1709 4089446400 134512640 136422188 4294756352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13669/statm: 2079 1709 236 467 0 1610 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8316 [startup+25.5007 s] /proc/loadavg: 1.94 1.97 1.93 3/179 13671 /proc/meminfo: memFree=30862248/32950928 swapFree=67111528/67111528 [pid=13669] ppid=13667 vsize=8444 CPUtime=25.5 /proc/13669/stat : 13669 (pbct) R 13667 13669 12901 0 -1 4202496 1855 0 0 0 1961 589 0 0 25 0 1 0 14641660 8646656 1738 4089446400 134512640 136422188 4294756352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13669/statm: 2111 1738 237 467 0 1642 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 8444 [startup+51.1002 s] /proc/loadavg: 1.96 1.97 1.93 3/179 13672 /proc/meminfo: memFree=30861824/32950928 swapFree=67111528/67111528 [pid=13669] ppid=13667 vsize=8672 CPUtime=51.09 /proc/13669/stat : 13669 (pbct) R 13667 13669 12901 0 -1 4202496 1922 0 0 0 4093 1016 0 0 25 0 1 0 14641660 8880128 1798 4089446400 134512640 136422188 4294756352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13669/statm: 2168 1798 237 467 0 1699 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8672 [startup+102.306 s] /proc/loadavg: 1.98 1.97 1.93 3/179 13673 /proc/meminfo: memFree=30861504/32950928 swapFree=67111528/67111528 [pid=13669] ppid=13667 vsize=8780 CPUtime=102.3 /proc/13669/stat : 13669 (pbct) R 13667 13669 12901 0 -1 4202496 1959 0 0 0 8496 1734 0 0 25 0 1 0 14641660 8990720 1832 4089446400 134512640 136422188 4294756352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13669/statm: 2195 1832 237 467 0 1726 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8780 Solver just ended. Dumping a history of the last processes samples [startup+115.101 s] /proc/loadavg: 1.98 1.97 1.93 3/179 13673 /proc/meminfo: memFree=30861628/32950928 swapFree=67111528/67111528 [pid=13669] ppid=13667 vsize=8780 CPUtime=115.09 /proc/13669/stat : 13669 (pbct) R 13667 13669 12901 0 -1 4202496 1962 0 0 0 9632 1877 0 0 25 0 1 0 14641660 8990720 1835 4089446400 134512640 136422188 4294756352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13669/statm: 2195 1835 237 467 0 1726 0 Current children cumulated CPU time (s) 115.09 Current children cumulated vsize (KiB) 8780 [startup+121.501 s] /proc/loadavg: 1.98 1.97 1.93 3/179 13674 /proc/meminfo: memFree=30861628/32950928 swapFree=67111528/67111528 [pid=13669] ppid=13667 vsize=8780 CPUtime=121.49 /proc/13669/stat : 13669 (pbct) R 13667 13669 12901 0 -1 4202496 1962 0 0 0 10177 1972 0 0 25 0 1 0 14641660 8990720 1835 4089446400 134512640 136422188 4294756352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13669/statm: 2195 1835 237 467 0 1726 0 Current children cumulated CPU time (s) 121.49 Current children cumulated vsize (KiB) 8780 [startup+123.1 s] /proc/loadavg: 1.99 1.97 1.93 3/179 13674 /proc/meminfo: memFree=30861628/32950928 swapFree=67111528/67111528 [pid=13669] ppid=13667 vsize=8780 CPUtime=123.09 /proc/13669/stat : 13669 (pbct) R 13667 13669 12901 0 -1 4202496 1962 0 0 0 10302 2007 0 0 25 0 1 0 14641660 8990720 1835 4089446400 134512640 136422188 4294756352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13669/statm: 2195 1835 237 467 0 1726 0 Current children cumulated CPU time (s) 123.09 Current children cumulated vsize (KiB) 8780 [startup+124.7 s] /proc/loadavg: 1.99 1.97 1.93 3/179 13674 /proc/meminfo: memFree=30861628/32950928 swapFree=67111528/67111528 [pid=13669] ppid=13667 vsize=8780 CPUtime=124.7 /proc/13669/stat : 13669 (pbct) R 13667 13669 12901 0 -1 4202496 1962 0 0 0 10430 2040 0 0 25 0 1 0 14641660 8990720 1835 4089446400 134512640 136422188 4294756352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13669/statm: 2195 1835 237 467 0 1726 0 Current children cumulated CPU time (s) 124.7 Current children cumulated vsize (KiB) 8780 [startup+125.1 s] /proc/loadavg: 1.99 1.97 1.93 3/179 13674 /proc/meminfo: memFree=30861628/32950928 swapFree=67111528/67111528 [pid=13669] ppid=13667 vsize=8780 CPUtime=125.1 /proc/13669/stat : 13669 (pbct) R 13667 13669 12901 0 -1 4202496 1962 0 0 0 10463 2047 0 0 25 0 1 0 14641660 8990720 1835 4089446400 134512640 136422188 4294756352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13669/statm: 2195 1835 237 467 0 1726 0 Current children cumulated CPU time (s) 125.1 Current children cumulated vsize (KiB) 8780 [startup+125.3 s] /proc/loadavg: 1.99 1.97 1.93 3/179 13674 /proc/meminfo: memFree=30861628/32950928 swapFree=67111528/67111528 [pid=13669] ppid=13667 vsize=8780 CPUtime=125.3 /proc/13669/stat : 13669 (pbct) R 13667 13669 12901 0 -1 4202496 1962 0 0 0 10479 2051 0 0 25 0 1 0 14641660 8990720 1835 4089446400 134512640 136422188 4294756352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13669/statm: 2195 1835 237 467 0 1726 0 Current children cumulated CPU time (s) 125.3 Current children cumulated vsize (KiB) 8780 Child status: 0 Real time (s): 125.375 CPU time (s): 125.378 CPU user time (s): 104.853 CPU system time (s): 20.5249 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 8800 getrusage(RUSAGE_CHILDREN,...) data: user time used= 104.853 system time used= 20.5249 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1967 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= 161 runsolver used 0.187971 second user time and 0.39094 second system time The end
Begin job on node120 at 2010-07-07 02:58:01 IDJOB=2699396 IDBENCH=79214 IDSOLVER=1212 FILE ID=node120/2699396-1278464281 PBS_JOBID= 11233752 Free space on /tmp= 73788 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699396-1278464281/watcher-2699396-1278464281 -o /tmp/evaluation-result-2699396-1278464281/solver-2699396-1278464281 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699396-1278464281.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e433b9b816c291c8bf4fd4860d096bb6 RANDOM SEED=1315258092 node120.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.813 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.62 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.813 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.82 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.813 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.813 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.75 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.813 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.78 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.813 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 : 5363.42 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.813 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.76 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.813 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30868784 kB Buffers: 111236 kB Cached: 1764432 kB SwapCached: 0 kB Active: 774256 kB Inactive: 1171788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30868784 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1868 kB Writeback: 0 kB AnonPages: 70332 kB Mapped: 15756 kB Slab: 72936 kB PageTables: 4316 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 212044 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= 73784 MiB End job on node120 at 2010-07-07 03:00:07