Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 124.921 | 124.917 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-33-100-0.wbo |
MD5SUM | 27d3bd64d93eb8804d56550cbc3e68e3 |
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 | 12 |
Best CPU time to get the best result obtained on this benchmark | 0.316951 |
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 | 69 |
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 | 3204 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 3203 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1230 |
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 20/51 clauses 12/18 units 0 0.00/0.00 c vars 169 0.00/0.02 c 0.023996 7.4375 30 698 0.00/0.02 o 916 0.00/0.03 c 0.025996 7.60547 41 865 0.00/0.03 o 809 0.00/0.03 c 0.025996 7.60547 42 954 0.00/0.03 o 728 0.00/0.03 c 0.026995 7.60547 43 1046 0.00/0.03 o 630 0.00/0.03 c 0.026995 7.60547 44 1126 0.00/0.03 o 566 0.00/0.03 c 0.028995 7.60547 63 1298 0.00/0.03 o 513 0.00/0.04 c 0.031995 7.60547 102 1423 0.00/0.04 o 474 0.06/0.07 c 0.052991 7.60547 334 2004 0.06/0.07 o 467 0.06/0.07 c 0.054991 7.60547 354 2077 0.06/0.07 o 450 0.06/0.07 c 0.056991 7.60547 372 2178 0.06/0.07 o 440 0.06/0.08 c 0.05999 7.60547 407 2294 0.06/0.08 o 428 0.06/0.08 c 0.06499 7.73438 470 2489 0.06/0.08 o 380 0.19/0.25 c 0.158975 7.85938 789 5127 0.19/0.25 o 361 0.19/0.26 c 0.160975 7.85938 417 5283 0.19/0.26 o 317 0.19/0.27 c 0.166974 7.85938 484 5418 0.19/0.27 o 301 0.29/0.30 c 0.187971 7.85938 730 5870 0.29/0.30 o 300 0.29/0.38 c 0.239963 7.85938 546 7112 0.29/0.38 o 298 0.49/0.52 c 0.32495 7.85938 715 8736 0.49/0.52 o 262 0.49/0.52 c 0.328949 7.85938 393 8851 0.49/0.52 o 256 0.59/0.64 c 0.394939 7.85938 740 10419 0.59/0.64 o 214 3.59/3.63 c 2.34764 7.98438 430 48723 3.59/3.63 o 203 3.59/3.66 c 2.36264 7.98438 604 49156 3.59/3.66 o 181 7.60/7.66 c 4.86726 8.10938 571 98156 7.60/7.66 o 167 7.70/7.76 c 4.93525 8.10938 956 99488 7.70/7.76 o 151 11.09/11.16 c 7.00193 8.10938 434 142140 11.09/11.16 o 150 14.89/14.93 c 9.41057 8.10938 435 191596 14.89/14.93 o 148 15.79/15.84 c 9.99648 8.10938 562 203044 15.79/15.84 o 134 15.89/15.97 c 10.0825 8.10938 614 204706 15.89/15.97 o 126 16.59/16.64 c 10.4884 8.10938 605 213060 16.59/16.64 o 124 21.29/21.30 c 13.5239 8.10938 608 269052 21.29/21.30 o 122 21.29/21.34 c 13.5519 8.10938 544 269692 21.29/21.34 o 120 22.89/22.97 c 14.6248 8.23438 843 288211 22.89/22.97 o 112 23.29/23.37 c 14.8887 8.23438 896 293562 23.29/23.37 o 107 26.19/26.26 c 16.6635 8.23438 395 327847 26.19/26.26 o 100 26.79/26.81 c 16.9914 8.23438 369 333925 26.79/26.81 o 99 35.79/35.82 c 22.7325 8.23438 889 437548 35.79/35.82 o 95 36.79/36.89 c 23.3834 8.23438 851 450036 36.79/36.89 o 94 38.29/38.31 c 24.2563 8.23438 483 467393 38.29/38.31 o 79 49.90/49.91 c 32.0331 8.23438 790 606929 49.90/49.91 o 71 81.19/81.30 c 53.1809 8.35938 740 982523 81.19/81.30 o 27 91.40/91.44 c 60.5308 8.48438 607 1113891 91.40/91.44 o 17 109.80/109.84 c 74.0567 8.48438 1014 1353510 109.80/109.84 o 12 124.89/124.91 c 85.22 8.48438 716 1550369 124.89/124.91 s OPTIMUM FOUND 124.89/124.91 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 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699100-1278459313/watcher-2699100-1278459313 -o /tmp/evaluation-result-2699100-1278459313/solver-2699100-1278459313 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699100-1278459313.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.90 1.93 1.68 3/178 12962 /proc/meminfo: memFree=29600724/32951124 swapFree=67111528/67111528 [pid=12962] ppid=12960 vsize=3708 CPUtime=0 /proc/12962/stat : 12962 (pbct) R 12960 12962 12773 0 -1 4202496 647 0 0 0 0 0 0 0 22 0 1 0 14145388 3796992 567 4089446400 134512640 136422188 4288537808 18446744073709551615 134632584 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12962/statm: 927 567 193 467 0 458 0 [startup+0.0670309 s] /proc/loadavg: 1.90 1.93 1.68 3/178 12962 /proc/meminfo: memFree=29600724/32951124 swapFree=67111528/67111528 [pid=12962] ppid=12960 vsize=7784 CPUtime=0.06 /proc/12962/stat : 12962 (pbct) R 12960 12962 12773 0 -1 4202496 1663 0 0 0 5 1 0 0 23 0 1 0 14145388 7970816 1576 4089446400 134512640 136422188 4288537808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12962/statm: 1946 1576 236 467 0 1477 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 7784 [startup+0.101027 s] /proc/loadavg: 1.90 1.93 1.68 3/178 12962 /proc/meminfo: memFree=29600724/32951124 swapFree=67111528/67111528 [pid=12962] ppid=12960 vsize=7916 CPUtime=0.09 /proc/12962/stat : 12962 (pbct) R 12960 12962 12773 0 -1 4202496 1692 0 0 0 7 2 0 0 23 0 1 0 14145388 8105984 1600 4089446400 134512640 136422188 4288537808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12962/statm: 1979 1600 236 467 0 1510 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7916 [startup+0.30099 s] /proc/loadavg: 1.90 1.93 1.68 3/178 12962 /proc/meminfo: memFree=29600724/32951124 swapFree=67111528/67111528 [pid=12962] ppid=12960 vsize=8044 CPUtime=0.29 /proc/12962/stat : 12962 (pbct) R 12960 12962 12773 0 -1 4202496 1727 0 0 0 18 11 0 0 24 0 1 0 14145388 8237056 1632 4089446400 134512640 136422188 4288537808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12962/statm: 2011 1632 236 467 0 1542 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8044 [startup+0.700947 s] /proc/loadavg: 1.90 1.93 1.68 3/178 12962 /proc/meminfo: memFree=29600724/32951124 swapFree=67111528/67111528 [pid=12962] ppid=12960 vsize=8044 CPUtime=0.69 /proc/12962/stat : 12962 (pbct) R 12960 12962 12773 0 -1 4202496 1733 0 0 0 43 26 0 0 25 0 1 0 14145388 8237056 1633 4089446400 134512640 136422188 4288537808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12962/statm: 2011 1633 236 467 0 1542 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8044 [startup+1.50077 s] /proc/loadavg: 1.91 1.93 1.68 3/179 12963 /proc/meminfo: memFree=29595260/32951124 swapFree=67111528/67111528 [pid=12962] ppid=12960 vsize=8044 CPUtime=1.49 /proc/12962/stat : 12962 (pbct) R 12960 12962 12773 0 -1 4202496 1742 0 0 0 100 49 0 0 25 0 1 0 14145388 8237056 1642 4089446400 134512640 136422188 4288537808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12962/statm: 2011 1642 236 467 0 1542 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8044 [startup+3.10048 s] /proc/loadavg: 1.91 1.93 1.68 3/179 12963 /proc/meminfo: memFree=29595012/32951124 swapFree=67111528/67111528 [pid=12962] ppid=12960 vsize=8172 CPUtime=3.09 /proc/12962/stat : 12962 (pbct) R 12960 12962 12773 0 -1 4202496 1760 0 0 0 201 108 0 0 25 0 1 0 14145388 8368128 1660 4089446400 134512640 136422188 4288537808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12962/statm: 2043 1660 236 467 0 1574 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8172 [startup+6.30089 s] /proc/loadavg: 1.91 1.93 1.68 3/179 12963 /proc/meminfo: memFree=29595564/32951124 swapFree=67111528/67111528 [pid=12962] ppid=12960 vsize=8300 CPUtime=6.29 /proc/12962/stat : 12962 (pbct) R 12960 12962 12773 0 -1 4202496 1802 0 0 0 400 229 0 0 25 0 1 0 14145388 8499200 1700 4089446400 134512640 136422188 4288537808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12962/statm: 2075 1700 236 467 0 1606 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8300 [startup+12.7007 s] /proc/loadavg: 1.92 1.93 1.68 3/179 12963 /proc/meminfo: memFree=29596304/32951124 swapFree=67111528/67111528 [pid=12962] ppid=12960 vsize=8300 CPUtime=12.69 /proc/12962/stat : 12962 (pbct) R 12960 12962 12773 0 -1 4202496 1805 0 0 0 795 474 0 0 25 0 1 0 14145388 8499200 1700 4089446400 134512640 136422188 4288537808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12962/statm: 2075 1700 236 467 0 1606 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8300 [startup+25.5004 s] /proc/loadavg: 1.93 1.94 1.69 3/179 12963 /proc/meminfo: memFree=29596328/32951124 swapFree=67111528/67111528 [pid=12962] ppid=12960 vsize=8428 CPUtime=25.49 /proc/12962/stat : 12962 (pbct) R 12960 12962 12773 0 -1 4202496 1838 0 0 0 1618 931 0 0 25 0 1 0 14145388 8630272 1725 4089446400 134512640 136422188 4288537808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12962/statm: 2107 1725 236 467 0 1638 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8428 [startup+51.1007 s] /proc/loadavg: 2.01 1.96 1.70 3/179 12965 /proc/meminfo: memFree=29596124/32951124 swapFree=67111528/67111528 [pid=12962] ppid=12960 vsize=8428 CPUtime=51.09 /proc/12962/stat : 12962 (pbct) R 12960 12962 12773 0 -1 4202496 1861 0 0 0 3280 1829 0 0 25 0 1 0 14145388 8630272 1742 4089446400 134512640 136422188 4288537808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12962/statm: 2107 1742 236 467 0 1638 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8428 [startup+102.306 s] /proc/loadavg: 2.00 1.96 1.72 3/179 12965 /proc/meminfo: memFree=29535828/32951124 swapFree=67111528/67111528 [pid=12962] ppid=12960 vsize=8684 CPUtime=102.3 /proc/12962/stat : 12962 (pbct) R 12960 12962 12773 0 -1 4202496 1915 0 0 0 6850 3380 0 0 25 0 1 0 14145388 8892416 1794 4089446400 134512640 136422188 4288537808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12962/statm: 2171 1794 236 467 0 1702 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8684 Solver just ended. Dumping a history of the last processes samples [startup+115.101 s] /proc/loadavg: 2.00 1.96 1.72 3/179 12966 /proc/meminfo: memFree=29536068/32951124 swapFree=67111528/67111528 [pid=12962] ppid=12960 vsize=8684 CPUtime=115.09 /proc/12962/stat : 12962 (pbct) R 12960 12962 12773 0 -1 4202496 1916 0 0 0 7794 3715 0 0 25 0 1 0 14145388 8892416 1794 4089446400 134512640 136422188 4288537808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12962/statm: 2171 1794 236 467 0 1702 0 Current children cumulated CPU time (s) 115.09 Current children cumulated vsize (KiB) 8684 [startup+121.501 s] /proc/loadavg: 2.00 1.96 1.72 3/179 12966 /proc/meminfo: memFree=29540276/32951124 swapFree=67111528/67111528 [pid=12962] ppid=12960 vsize=8684 CPUtime=121.5 /proc/12962/stat : 12962 (pbct) R 12960 12962 12773 0 -1 4202496 1916 0 0 0 8271 3879 0 0 25 0 1 0 14145388 8892416 1794 4089446400 134512640 136422188 4288537808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12962/statm: 2171 1794 236 467 0 1702 0 Current children cumulated CPU time (s) 121.5 Current children cumulated vsize (KiB) 8684 [startup+123.1 s] /proc/loadavg: 2.00 1.96 1.72 3/179 12966 /proc/meminfo: memFree=29540152/32951124 swapFree=67111528/67111528 [pid=12962] ppid=12960 vsize=8684 CPUtime=123.1 /proc/12962/stat : 12962 (pbct) R 12960 12962 12773 0 -1 4202496 1916 0 0 0 8388 3922 0 0 25 0 1 0 14145388 8892416 1794 4089446400 134512640 136422188 4288537808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12962/statm: 2171 1794 236 467 0 1702 0 Current children cumulated CPU time (s) 123.1 Current children cumulated vsize (KiB) 8684 [startup+123.9 s] /proc/loadavg: 2.00 1.96 1.72 3/179 12966 /proc/meminfo: memFree=29540152/32951124 swapFree=67111528/67111528 [pid=12962] ppid=12960 vsize=8684 CPUtime=123.89 /proc/12962/stat : 12962 (pbct) R 12960 12962 12773 0 -1 4202496 1916 0 0 0 8446 3943 0 0 25 0 1 0 14145388 8892416 1794 4089446400 134512640 136422188 4288537808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12962/statm: 2171 1794 236 467 0 1702 0 Current children cumulated CPU time (s) 123.89 Current children cumulated vsize (KiB) 8684 [startup+124.7 s] /proc/loadavg: 2.00 1.96 1.72 3/179 12966 /proc/meminfo: memFree=29540152/32951124 swapFree=67111528/67111528 [pid=12962] ppid=12960 vsize=8684 CPUtime=124.7 /proc/12962/stat : 12962 (pbct) R 12960 12962 12773 0 -1 4202496 1916 0 0 0 8507 3963 0 0 25 0 1 0 14145388 8892416 1794 4089446400 134512640 136422188 4288537808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12962/statm: 2171 1794 236 467 0 1702 0 Current children cumulated CPU time (s) 124.7 Current children cumulated vsize (KiB) 8684 [startup+124.9 s] /proc/loadavg: 2.00 1.96 1.72 3/179 12966 /proc/meminfo: memFree=29540152/32951124 swapFree=67111528/67111528 [pid=12962] ppid=12960 vsize=8684 CPUtime=124.89 /proc/12962/stat : 12962 (pbct) R 12960 12962 12773 0 -1 4202496 1916 0 0 0 8521 3968 0 0 25 0 1 0 14145388 8892416 1794 4089446400 134512640 136422188 4288537808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12962/statm: 2171 1794 236 467 0 1702 0 Current children cumulated CPU time (s) 124.89 Current children cumulated vsize (KiB) 8684 Child status: 0 Real time (s): 124.917 CPU time (s): 124.921 CPU user time (s): 85.225 CPU system time (s): 39.696 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 8684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 85.225 system time used= 39.696 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1921 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= 1564 runsolver used 0.170974 second user time and 0.404938 second system time The end
Begin job on node109 at 2010-07-07 01:35:13 IDJOB=2699100 IDBENCH=78781 IDSOLVER=1212 FILE ID=node109/2699100-1278459313 PBS_JOBID= 11233774 Free space on /tmp= 73832 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223220--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699100-1278459313/watcher-2699100-1278459313 -o /tmp/evaluation-result-2699100-1278459313/solver-2699100-1278459313 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699100-1278459313.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 27d3bd64d93eb8804d56550cbc3e68e3 RANDOM SEED=520391334 node109.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.817 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.63 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.817 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.817 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.817 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.817 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.817 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.817 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.817 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: 29601616 kB Buffers: 101968 kB Cached: 2897072 kB SwapCached: 0 kB Active: 1749088 kB Inactive: 1462408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29601616 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1956 kB Writeback: 0 kB AnonPages: 212832 kB Mapped: 15628 kB Slab: 73816 kB PageTables: 5088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 358080 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= 73828 MiB End job on node109 at 2010-07-07 01:37:18