Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 114.951 | 114.947 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076--soft-0-100-0.wbo |
MD5SUM | 769102c4365831847599c548efd52eec |
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 | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.246961 |
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 | 1225 |
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.00/0.04 c 0.040993 7.61328 103 830 0.00/0.04 o 696 0.00/0.05 c 0.043993 7.75 140 931 0.00/0.05 o 682 0.00/0.05 c 0.044993 7.75 148 983 0.00/0.05 o 660 0.00/0.05 c 0.046992 7.75 155 1046 0.00/0.05 o 618 0.00/0.06 c 0.053991 7.75 239 1233 0.00/0.06 o 611 0.00/0.06 c 0.055991 7.75 241 1281 0.00/0.06 o 589 0.00/0.06 c 0.057991 7.75 266 1331 0.00/0.06 o 588 0.00/0.07 c 0.06299 7.75 305 1457 0.00/0.07 o 563 0.00/0.08 c 0.073988 7.875 447 1821 0.00/0.08 o 550 0.00/0.09 c 0.079987 7.875 491 2006 0.00/0.09 o 519 0.09/0.09 c 0.082987 7.875 533 2260 0.09/0.09 o 422 0.09/0.13 c 0.119981 7.875 560 2833 0.09/0.13 o 420 0.09/0.14 c 0.121981 7.875 583 2871 0.09/0.14 o 419 0.18/0.23 c 0.202969 7.875 697 4433 0.18/0.23 o 393 0.18/0.29 c 0.243962 7.875 424 5172 0.18/0.29 o 388 0.29/0.31 c 0.25996 7.875 590 5614 0.29/0.31 o 372 0.29/0.31 c 0.26196 7.875 594 5654 0.29/0.31 o 355 0.29/0.31 c 0.26296 7.875 596 5677 0.29/0.31 o 352 0.29/0.31 c 0.264959 7.875 600 5702 0.29/0.31 o 348 0.29/0.31 c 0.266959 7.875 614 5743 0.29/0.31 o 346 0.29/0.32 c 0.268959 7.875 646 5824 0.29/0.32 o 340 0.29/0.33 c 0.273958 7.875 387 6000 0.29/0.33 o 322 0.39/0.40 c 0.338948 7.875 559 6995 0.39/0.40 o 318 0.39/0.41 c 0.345947 7.875 595 7155 0.39/0.41 o 310 0.39/0.44 c 0.375942 8 472 7598 0.39/0.44 o 302 0.39/0.45 c 0.384941 8 534 7723 0.39/0.45 o 282 0.39/0.49 c 0.410937 8 420 8253 0.39/0.49 o 253 0.49/0.53 c 0.452931 8 662 8735 0.49/0.53 o 233 0.69/0.79 c 0.664898 8 757 11760 0.69/0.79 o 230 0.78/0.85 c 0.716891 8 723 12443 0.78/0.85 o 203 0.89/0.97 c 0.822874 8 661 13859 0.89/0.97 o 189 1.49/1.56 c 1.3288 8.125 753 19685 1.49/1.56 o 186 1.69/1.78 c 1.50977 8.125 588 22033 1.69/1.78 o 176 2.29/2.38 c 2.02169 8.125 536 28381 2.29/2.38 o 160 2.29/2.39 c 2.03269 8.125 599 28536 2.29/2.39 o 154 5.29/5.30 c 4.52431 8.125 852 59746 5.29/5.30 o 152 5.59/5.62 c 4.79727 8.125 714 63327 5.59/5.62 o 141 6.09/6.11 c 5.21321 8.125 703 69084 6.09/6.11 o 109 6.09/6.16 c 5.2512 8.125 616 69712 6.09/6.16 o 88 6.09/6.16 c 5.2552 8.125 636 69774 6.09/6.16 o 75 7.60/7.62 c 6.51901 8.25 990 86305 7.60/7.62 o 58 7.60/7.62 c 6.52001 8.25 501 86354 7.60/7.62 o 56 7.60/7.62 c 6.52101 8.25 503 86415 7.60/7.62 o 37 8.09/8.11 c 6.96194 8.25 606 91856 8.09/8.11 o 35 11.19/11.25 c 9.72552 8.375 878 129213 11.19/11.25 o 33 25.39/25.46 c 22.3836 8.47266 915 294710 25.39/25.46 o 17 25.39/25.46 c 22.3846 8.47266 462 294731 25.39/25.46 o 15 26.59/26.68 c 23.4834 8.47266 1034 310086 26.59/26.68 o 14 40.19/40.26 c 35.8046 8.47266 968 475968 40.19/40.26 o 5 41.80/41.81 c 37.2213 8.47266 1084 495355 41.80/41.81 o 3 114.89/114.94 c 103.984 8.67578 712 1358775 114.89/114.94 s OPTIMUM FOUND 114.89/114.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
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699444-1278464405/watcher-2699444-1278464405 -o /tmp/evaluation-result-2699444-1278464405/solver-2699444-1278464405 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699444-1278464405.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 1.99 3/182 13799 /proc/meminfo: memFree=28907860/32951124 swapFree=67111528/67111528 [pid=13799] ppid=13797 vsize=3836 CPUtime=0 /proc/13799/stat : 13799 (pbct) R 13797 13799 13108 0 -1 4202496 669 0 0 0 0 0 0 0 25 0 1 0 14653195 3928064 588 4089446400 134512640 136422188 4288141424 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13799/statm: 959 589 193 467 0 490 0 [startup+0.098314 s] /proc/loadavg: 2.00 2.00 1.99 3/182 13799 /proc/meminfo: memFree=28907860/32951124 swapFree=67111528/67111528 [pid=13799] ppid=13797 vsize=8060 CPUtime=0.09 /proc/13799/stat : 13799 (pbct) R 13797 13799 13108 0 -1 4202496 1730 0 0 0 8 1 0 0 25 0 1 0 14653195 8253440 1639 4089446400 134512640 136422188 4288141424 18446744073709551615 134864018 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13799/statm: 2015 1639 236 467 0 1546 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8060 [startup+0.100311 s] /proc/loadavg: 2.00 2.00 1.99 3/182 13799 /proc/meminfo: memFree=28907860/32951124 swapFree=67111528/67111528 [pid=13799] ppid=13797 vsize=8060 CPUtime=0.09 /proc/13799/stat : 13799 (pbct) R 13797 13799 13108 0 -1 4202496 1732 0 0 0 8 1 0 0 25 0 1 0 14653195 8253440 1640 4089446400 134512640 136422188 4288141424 18446744073709551615 135030266 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13799/statm: 2015 1640 236 467 0 1546 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8060 [startup+0.300275 s] /proc/loadavg: 2.00 2.00 1.99 3/182 13799 /proc/meminfo: memFree=28907860/32951124 swapFree=67111528/67111528 [pid=13799] ppid=13797 vsize=8060 CPUtime=0.29 /proc/13799/stat : 13799 (pbct) R 13797 13799 13108 0 -1 4202496 1754 0 0 0 25 4 0 0 25 0 1 0 14653195 8253440 1658 4089446400 134512640 136422188 4288141424 18446744073709551615 135028660 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13799/statm: 2015 1658 236 467 0 1546 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8060 [startup+0.700213 s] /proc/loadavg: 2.00 2.00 1.99 3/182 13799 /proc/meminfo: memFree=28907860/32951124 swapFree=67111528/67111528 [pid=13799] ppid=13797 vsize=8188 CPUtime=0.69 /proc/13799/stat : 13799 (pbct) R 13797 13799 13108 0 -1 4202496 1774 0 0 0 58 11 0 0 25 0 1 0 14653195 8384512 1665 4089446400 134512640 136422188 4288141424 18446744073709551615 134597716 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13799/statm: 2047 1665 236 467 0 1578 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8188 [startup+1.50107 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13800 /proc/meminfo: memFree=28901032/32951124 swapFree=67111528/67111528 [pid=13799] ppid=13797 vsize=8188 CPUtime=1.49 /proc/13799/stat : 13799 (pbct) R 13797 13799 13108 0 -1 4202496 1800 0 0 0 126 23 0 0 25 0 1 0 14653195 8384512 1688 4089446400 134512640 136422188 4288141424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13799/statm: 2047 1688 236 467 0 1578 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8188 [startup+3.10077 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13800 /proc/meminfo: memFree=28900660/32951124 swapFree=67111528/67111528 [pid=13799] ppid=13797 vsize=8316 CPUtime=3.09 /proc/13799/stat : 13799 (pbct) R 13797 13799 13108 0 -1 4202496 1819 0 0 0 262 47 0 0 25 0 1 0 14653195 8515584 1703 4089446400 134512640 136422188 4288141424 18446744073709551615 135026747 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13799/statm: 2079 1703 236 467 0 1610 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8316 [startup+6.30018 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13800 /proc/meminfo: memFree=28900536/32951124 swapFree=67111528/67111528 [pid=13799] ppid=13797 vsize=8316 CPUtime=6.29 /proc/13799/stat : 13799 (pbct) R 13797 13799 13108 0 -1 4202496 1842 0 0 0 537 92 0 0 25 0 1 0 14653195 8515584 1721 4089446400 134512640 136422188 4288141424 18446744073709551615 135006571 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13799/statm: 2079 1721 236 467 0 1610 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8316 [startup+12.701 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13801 /proc/meminfo: memFree=28900380/32951124 swapFree=67111528/67111528 [pid=13799] ppid=13797 vsize=8572 CPUtime=12.69 /proc/13799/stat : 13799 (pbct) R 13797 13799 13108 0 -1 4202496 1901 0 0 0 1101 168 0 0 25 0 1 0 14653195 8777728 1775 4089446400 134512640 136422188 4288141424 18446744073709551615 135006609 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13799/statm: 2143 1775 236 467 0 1674 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8572 [startup+25.5007 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13801 /proc/meminfo: memFree=28900252/32951124 swapFree=67111528/67111528 [pid=13799] ppid=13797 vsize=8672 CPUtime=25.49 /proc/13799/stat : 13799 (pbct) R 13797 13799 13108 0 -1 4202496 1929 0 0 0 2241 308 0 0 18 0 1 0 14653195 8880128 1801 4089446400 134512640 136422188 4288141424 18446744073709551615 134642433 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13799/statm: 2168 1801 236 467 0 1699 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8672 [startup+51.101 s] /proc/loadavg: 2.08 2.02 2.00 3/183 13802 /proc/meminfo: memFree=28900592/32951124 swapFree=67111528/67111528 [pid=13799] ppid=13797 vsize=8672 CPUtime=51.09 /proc/13799/stat : 13799 (pbct) R 13797 13799 13108 0 -1 4202496 1939 0 0 0 4570 539 0 0 25 0 1 0 14653195 8880128 1808 4089446400 134512640 136422188 4288141424 18446744073709551615 135006865 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13799/statm: 2168 1808 236 467 0 1699 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8672 [startup+102.306 s] /proc/loadavg: 2.03 2.01 2.00 3/183 13812 /proc/meminfo: memFree=28873168/32951124 swapFree=67111528/67111528 [pid=13799] ppid=13797 vsize=8880 CPUtime=102.29 /proc/13799/stat : 13799 (pbct) R 13797 13799 13108 0 -1 4202496 1976 0 0 0 9245 984 0 0 25 0 1 0 14653195 9093120 1845 4089446400 134512640 136422188 4288141424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13799/statm: 2220 1845 236 467 0 1751 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 8880 Solver just ended. Dumping a history of the last processes samples [startup+108.701 s] /proc/loadavg: 2.03 2.01 2.00 3/183 13812 /proc/meminfo: memFree=28873288/32951124 swapFree=67111528/67111528 [pid=13799] ppid=13797 vsize=8880 CPUtime=108.69 /proc/13799/stat : 13799 (pbct) R 13797 13799 13108 0 -1 4202496 1976 0 0 0 9827 1042 0 0 25 0 1 0 14653195 9093120 1845 4089446400 134512640 136422188 4288141424 18446744073709551615 135021190 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13799/statm: 2220 1845 236 467 0 1751 0 Current children cumulated CPU time (s) 108.69 Current children cumulated vsize (KiB) 8880 [startup+111.901 s] /proc/loadavg: 2.03 2.01 2.00 3/183 13812 /proc/meminfo: memFree=28873408/32951124 swapFree=67111528/67111528 [pid=13799] ppid=13797 vsize=8880 CPUtime=111.9 /proc/13799/stat : 13799 (pbct) R 13797 13799 13108 0 -1 4202496 1976 0 0 0 10122 1068 0 0 25 0 1 0 14653195 9093120 1845 4089446400 134512640 136422188 4288141424 18446744073709551615 134903714 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13799/statm: 2220 1845 236 467 0 1751 0 Current children cumulated CPU time (s) 111.9 Current children cumulated vsize (KiB) 8880 [startup+113.501 s] /proc/loadavg: 2.02 2.01 2.00 3/183 13813 /proc/meminfo: memFree=28873408/32951124 swapFree=67111528/67111528 [pid=13799] ppid=13797 vsize=8880 CPUtime=113.5 /proc/13799/stat : 13799 (pbct) R 13797 13799 13108 0 -1 4202496 1976 0 0 0 10268 1082 0 0 25 0 1 0 14653195 9093120 1845 4089446400 134512640 136422188 4288141424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13799/statm: 2220 1845 236 467 0 1751 0 Current children cumulated CPU time (s) 113.5 Current children cumulated vsize (KiB) 8880 [startup+114.301 s] /proc/loadavg: 2.02 2.01 2.00 3/183 13813 /proc/meminfo: memFree=28873408/32951124 swapFree=67111528/67111528 [pid=13799] ppid=13797 vsize=8880 CPUtime=114.3 /proc/13799/stat : 13799 (pbct) R 13797 13799 13108 0 -1 4202496 1976 0 0 0 10340 1090 0 0 25 0 1 0 14653195 9093120 1845 4089446400 134512640 136422188 4288141424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13799/statm: 2220 1845 236 467 0 1751 0 Current children cumulated CPU time (s) 114.3 Current children cumulated vsize (KiB) 8880 [startup+114.7 s] /proc/loadavg: 2.02 2.01 2.00 3/183 13813 /proc/meminfo: memFree=28873408/32951124 swapFree=67111528/67111528 [pid=13799] ppid=13797 vsize=8880 CPUtime=114.69 /proc/13799/stat : 13799 (pbct) R 13797 13799 13108 0 -1 4202496 1976 0 0 0 10376 1093 0 0 25 0 1 0 14653195 9093120 1845 4089446400 134512640 136422188 4288141424 18446744073709551615 134862160 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13799/statm: 2220 1845 236 467 0 1751 0 Current children cumulated CPU time (s) 114.69 Current children cumulated vsize (KiB) 8880 [startup+114.9 s] /proc/loadavg: 2.02 2.01 2.00 3/183 13813 /proc/meminfo: memFree=28873408/32951124 swapFree=67111528/67111528 [pid=13799] ppid=13797 vsize=8880 CPUtime=114.89 /proc/13799/stat : 13799 (pbct) R 13797 13799 13108 0 -1 4202496 1976 0 0 0 10394 1095 0 0 25 0 1 0 14653195 9093120 1845 4089446400 134512640 136422188 4288141424 18446744073709551615 135028683 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13799/statm: 2220 1845 236 467 0 1751 0 Current children cumulated CPU time (s) 114.89 Current children cumulated vsize (KiB) 8880 Child status: 0 Real time (s): 114.947 CPU time (s): 114.951 CPU user time (s): 103.99 CPU system time (s): 10.9603 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 8928 getrusage(RUSAGE_CHILDREN,...) data: user time used= 103.99 system time used= 10.9603 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1981 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= 253 runsolver used 0.165974 second user time and 0.362944 second system time The end
Begin job on node133 at 2010-07-07 03:00:05 IDJOB=2699444 IDBENCH=79238 IDSOLVER=1212 FILE ID=node133/2699444-1278464405 PBS_JOBID= 11233726 Free space on /tmp= 73800 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111228076--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699444-1278464405/watcher-2699444-1278464405 -o /tmp/evaluation-result-2699444-1278464405/solver-2699444-1278464405 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699444-1278464405.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 769102c4365831847599c548efd52eec RANDOM SEED=830955047 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.844 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.68 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.844 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.844 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.74 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.844 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.84 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.844 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.844 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.82 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.844 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.67 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.844 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28908256 kB Buffers: 113172 kB Cached: 3334560 kB SwapCached: 0 kB Active: 1029672 kB Inactive: 2873892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28908256 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2004 kB Writeback: 0 kB AnonPages: 455824 kB Mapped: 15464 kB Slab: 76788 kB PageTables: 5556 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 614704 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= 73796 MiB End job on node133 at 2010-07-07 03:02:00