Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 145.129 | 145.151 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-33-100-0.wbo |
MD5SUM | 9aae741b51a1836a01c8daeb1bffcdf7 |
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 | 25 |
Best CPU time to get the best result obtained on this benchmark | 0.331948 |
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 | 1228 |
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.022996 7.4375 13 656 0.00/0.02 o 795 0.00/0.03 c 0.023996 7.60156 13 742 0.00/0.03 o 660 0.00/0.03 c 0.025996 7.60156 19 836 0.00/0.03 o 614 0.00/0.03 c 0.027995 7.60156 36 909 0.00/0.03 o 581 0.00/0.03 c 0.029995 7.60156 45 958 0.00/0.03 o 577 0.03/0.03 c 0.031995 7.60156 62 1016 0.03/0.03 o 569 0.03/0.04 c 0.035994 7.60156 89 1142 0.03/0.04 o 453 0.03/0.05 c 0.048992 7.60156 184 1404 0.03/0.05 o 371 0.03/0.08 c 0.072988 7.60156 359 1855 0.03/0.08 o 357 0.03/0.08 c 0.074988 7.60156 365 1889 0.03/0.08 o 349 0.03/0.09 c 0.081987 7.60156 427 2105 0.03/0.09 o 291 0.09/0.12 c 0.107983 7.72656 595 2512 0.09/0.12 o 264 0.09/0.13 c 0.116982 7.72656 667 2662 0.09/0.13 o 239 0.19/0.23 c 0.209968 7.72656 561 3929 0.19/0.23 o 233 0.19/0.24 c 0.219966 7.72656 624 4085 0.19/0.24 o 224 0.19/0.26 c 0.232964 7.72656 692 4265 0.19/0.26 o 217 0.19/0.26 c 0.236963 7.72656 361 4363 0.19/0.26 o 209 0.19/0.27 c 0.239963 7.72656 385 4465 0.19/0.27 o 208 0.19/0.27 c 0.241963 7.72656 390 4534 0.19/0.27 o 202 0.49/0.55 c 0.495924 7.85547 679 7564 0.49/0.55 o 171 1.39/1.47 c 1.2808 7.85547 573 17522 1.39/1.47 o 161 5.59/5.69 c 4.94225 7.98047 652 61663 5.59/5.69 o 156 11.29/11.35 c 9.8485 7.98047 516 123489 11.29/11.35 o 124 11.99/12.05 c 10.4724 7.98047 604 130934 11.99/12.05 o 123 12.79/12.83 c 11.1543 7.98047 798 138851 12.79/12.83 o 118 19.19/19.24 c 16.7015 8.10547 773 215078 19.19/19.24 o 115 19.89/19.99 c 17.3624 8.10547 701 224034 19.89/19.99 o 100 20.99/21.07 c 18.3042 8.10547 701 236553 20.99/21.07 o 98 24.99/25.06 c 21.7937 8.10547 486 280403 24.99/25.06 o 81 39.49/39.59 c 34.5417 8.21875 732 430501 39.49/39.59 o 79 43.48/43.55 c 38.0042 8.21875 449 472563 43.48/43.55 o 71 46.49/46.51 c 40.6178 8.21875 794 504846 46.49/46.51 o 68 46.49/46.54 c 40.6368 8.21875 594 505184 46.49/46.54 o 66 46.49/46.55 c 40.6448 8.21875 681 505368 46.49/46.55 o 59 57.99/58.09 c 50.8373 8.32031 612 631545 57.99/58.09 o 44 103.97/104.00 c 91.7421 8.44141 557 1215876 103.97/104.00 o 36 103.97/104.00 c 91.7461 8.44141 586 1215939 103.97/104.00 o 25 145.07/145.14 c 128.774 8.44141 444 1754162 145.07/145.14 s OPTIMUM FOUND 145.07/145.14 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 25
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699243-1278459536/watcher-2699243-1278459536 -o /tmp/evaluation-result-2699243-1278459536/solver-2699243-1278459536 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699243-1278459536.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.99 1.98 1.75 4/176 12018 /proc/meminfo: memFree=30271352/32951132 swapFree=67111528/67111528 [pid=12018] ppid=12016 vsize=3576 CPUtime=0 /proc/12018/stat : 12018 (pbct) R 12016 12018 11784 0 -1 4202496 612 0 0 0 0 0 0 0 24 0 1 0 14167026 3661824 531 4089446400 134512640 136422188 4291396416 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12018/statm: 894 532 193 467 0 425 0 [startup+0.0379069 s] /proc/loadavg: 1.99 1.98 1.75 4/176 12018 /proc/meminfo: memFree=30271352/32951132 swapFree=67111528/67111528 [pid=12018] ppid=12016 vsize=7780 CPUtime=0.03 /proc/12018/stat : 12018 (pbct) R 12016 12018 11784 0 -1 4202496 1654 0 0 0 3 0 0 0 25 0 1 0 14167026 7966720 1568 4089446400 134512640 136422188 4291396416 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12018/statm: 1945 1568 236 467 0 1476 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 7780 [startup+0.100884 s] /proc/loadavg: 1.99 1.98 1.75 4/176 12018 /proc/meminfo: memFree=30271352/32951132 swapFree=67111528/67111528 [pid=12018] ppid=12016 vsize=7780 CPUtime=0.09 /proc/12018/stat : 12018 (pbct) R 12016 12018 11784 0 -1 4202496 1674 0 0 0 8 1 0 0 25 0 1 0 14167026 7966720 1582 4089446400 134512640 136422188 4291396416 18446744073709551615 134620523 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12018/statm: 1945 1582 236 467 0 1476 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7780 [startup+0.300851 s] /proc/loadavg: 1.99 1.98 1.75 4/176 12018 /proc/meminfo: memFree=30271352/32951132 swapFree=67111528/67111528 [pid=12018] ppid=12016 vsize=7908 CPUtime=0.29 /proc/12018/stat : 12018 (pbct) R 12016 12018 11784 0 -1 4202496 1705 0 0 0 26 3 0 0 25 0 1 0 14167026 8097792 1605 4089446400 134512640 136422188 4291396416 18446744073709551615 134862210 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12018/statm: 1977 1605 236 467 0 1508 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7908 [startup+0.70078 s] /proc/loadavg: 1.99 1.98 1.75 4/176 12018 /proc/meminfo: memFree=30271352/32951132 swapFree=67111528/67111528 [pid=12018] ppid=12016 vsize=8040 CPUtime=0.69 /proc/12018/stat : 12018 (pbct) R 12016 12018 11784 0 -1 4202496 1724 0 0 0 61 8 0 0 25 0 1 0 14167026 8232960 1623 4089446400 134512640 136422188 4291396416 18446744073709551615 134862210 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12018/statm: 2010 1623 236 467 0 1541 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8040 [startup+1.50064 s] /proc/loadavg: 1.99 1.98 1.75 3/177 12019 /proc/meminfo: memFree=30265764/32951132 swapFree=67111528/67111528 [pid=12018] ppid=12016 vsize=8040 CPUtime=1.49 /proc/12018/stat : 12018 (pbct) R 12016 12018 11784 0 -1 4202496 1738 0 0 0 130 19 0 0 25 0 1 0 14167026 8232960 1636 4089446400 134512640 136422188 4291396416 18446744073709551615 134620377 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12018/statm: 2010 1636 236 467 0 1541 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8040 [startup+3.10036 s] /proc/loadavg: 1.99 1.98 1.75 3/177 12019 /proc/meminfo: memFree=30265400/32951132 swapFree=67111528/67111528 [pid=12018] ppid=12016 vsize=8040 CPUtime=3.09 /proc/12018/stat : 12018 (pbct) R 12016 12018 11784 0 -1 4202496 1749 0 0 0 270 39 0 0 25 0 1 0 14167026 8232960 1647 4089446400 134512640 136422188 4291396416 18446744073709551615 134861716 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12018/statm: 2010 1647 236 467 0 1541 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8040 [startup+6.30082 s] /proc/loadavg: 2.07 1.99 1.76 3/177 12019 /proc/meminfo: memFree=30265584/32951132 swapFree=67111528/67111528 [pid=12018] ppid=12016 vsize=8168 CPUtime=6.29 /proc/12018/stat : 12018 (pbct) R 12016 12018 11784 0 -1 4202496 1764 0 0 0 547 82 0 0 25 0 1 0 14167026 8364032 1661 4089446400 134512640 136422188 4291396416 18446744073709551615 134862210 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12018/statm: 2042 1661 236 467 0 1573 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8168 [startup+12.7007 s] /proc/loadavg: 2.07 1.99 1.76 3/177 12019 /proc/meminfo: memFree=30263624/32951132 swapFree=67111528/67111528 [pid=12018] ppid=12016 vsize=8168 CPUtime=12.69 /proc/12018/stat : 12018 (pbct) R 12016 12018 11784 0 -1 4202496 1785 0 0 0 1103 166 0 0 25 0 1 0 14167026 8364032 1680 4089446400 134512640 136422188 4291396416 18446744073709551615 134862208 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12018/statm: 2042 1680 236 467 0 1573 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8168 [startup+25.5005 s] /proc/loadavg: 2.05 1.99 1.76 3/177 12020 /proc/meminfo: memFree=30263080/32951132 swapFree=67111528/67111528 [pid=12018] ppid=12016 vsize=8296 CPUtime=25.49 /proc/12018/stat : 12018 (pbct) R 12016 12018 11784 0 -1 4202496 1818 0 0 0 2218 331 0 0 25 0 1 0 14167026 8495104 1708 4089446400 134512640 136422188 4291396416 18446744073709551615 135032475 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12018/statm: 2074 1708 236 467 0 1605 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8296 [startup+51.1011 s] /proc/loadavg: 2.03 1.99 1.77 3/177 12020 /proc/meminfo: memFree=30263160/32951132 swapFree=67111528/67111528 [pid=12018] ppid=12016 vsize=8528 CPUtime=51.09 /proc/12018/stat : 12018 (pbct) R 12016 12018 11784 0 -1 4202496 1868 0 0 0 4466 643 0 0 25 0 1 0 14167026 8732672 1753 4089446400 134512640 136422188 4291396416 18446744073709551615 134642433 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12018/statm: 2132 1753 236 467 0 1663 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8528 [startup+102.306 s] /proc/loadavg: 2.01 1.99 1.78 3/177 12022 /proc/meminfo: memFree=30262648/32951132 swapFree=67111528/67111528 [pid=12018] ppid=12016 vsize=8640 CPUtime=102.28 /proc/12018/stat : 12018 (pbct) R 12016 12018 11784 0 -1 4202496 1899 0 0 0 9023 1205 0 0 25 0 1 0 14167026 8847360 1783 4089446400 134512640 136422188 4291396416 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/12018/statm: 2160 1783 236 467 0 1691 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 8640 Solver just ended. Dumping a history of the last processes samples [startup+127.901 s] /proc/loadavg: 2.01 1.99 1.78 3/177 12022 /proc/meminfo: memFree=30262512/32951132 swapFree=67111528/67111528 [pid=12018] ppid=12016 vsize=8640 CPUtime=127.88 /proc/12018/stat : 12018 (pbct) R 12016 12018 11784 0 -1 4202496 1901 0 0 0 11324 1464 0 0 25 0 1 0 14167026 8847360 1783 4089446400 134512640 136422188 4291396416 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/12018/statm: 2160 1783 236 467 0 1691 0 Current children cumulated CPU time (s) 127.88 Current children cumulated vsize (KiB) 8640 [startup+134.301 s] /proc/loadavg: 2.01 1.99 1.78 3/177 12023 /proc/meminfo: memFree=30262632/32951132 swapFree=67111528/67111528 [pid=12018] ppid=12016 vsize=8640 CPUtime=134.27 /proc/12018/stat : 12018 (pbct) R 12016 12018 11784 0 -1 4202496 1901 0 0 0 11900 1527 0 0 25 0 1 0 14167026 8847360 1783 4089446400 134512640 136422188 4291396416 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/12018/statm: 2160 1783 236 467 0 1691 0 Current children cumulated CPU time (s) 134.27 Current children cumulated vsize (KiB) 8640 [startup+140.701 s] /proc/loadavg: 2.00 1.99 1.78 3/177 12023 /proc/meminfo: memFree=30262628/32951132 swapFree=67111528/67111528 [pid=12018] ppid=12016 vsize=8640 CPUtime=140.67 /proc/12018/stat : 12018 (pbct) R 12016 12018 11784 0 -1 4202496 1911 0 0 0 12476 1591 0 0 25 0 1 0 14167026 8847360 1793 4089446400 134512640 136422188 4291396416 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/12018/statm: 2160 1793 236 467 0 1691 0 Current children cumulated CPU time (s) 140.67 Current children cumulated vsize (KiB) 8640 [startup+142.3 s] /proc/loadavg: 2.00 1.99 1.78 3/177 12023 /proc/meminfo: memFree=30262628/32951132 swapFree=67111528/67111528 [pid=12018] ppid=12016 vsize=8640 CPUtime=142.27 /proc/12018/stat : 12018 (pbct) R 12016 12018 11784 0 -1 4202496 1911 0 0 0 12620 1607 0 0 25 0 1 0 14167026 8847360 1793 4089446400 134512640 136422188 4291396416 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/12018/statm: 2160 1793 236 467 0 1691 0 Current children cumulated CPU time (s) 142.27 Current children cumulated vsize (KiB) 8640 [startup+143.901 s] /proc/loadavg: 2.00 1.99 1.78 3/177 12023 /proc/meminfo: memFree=30262628/32951132 swapFree=67111528/67111528 [pid=12018] ppid=12016 vsize=8640 CPUtime=143.87 /proc/12018/stat : 12018 (pbct) R 12016 12018 11784 0 -1 4202496 1911 0 0 0 12764 1623 0 0 25 0 1 0 14167026 8847360 1793 4089446400 134512640 136422188 4291396416 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/12018/statm: 2160 1793 236 467 0 1691 0 Current children cumulated CPU time (s) 143.87 Current children cumulated vsize (KiB) 8640 [startup+144.701 s] /proc/loadavg: 2.00 1.99 1.78 3/177 12023 /proc/meminfo: memFree=30262628/32951132 swapFree=67111528/67111528 [pid=12018] ppid=12016 vsize=8640 CPUtime=144.67 /proc/12018/stat : 12018 (pbct) R 12016 12018 11784 0 -1 4202496 1911 0 0 0 12837 1630 0 0 25 0 1 0 14167026 8847360 1793 4089446400 134512640 136422188 4291396416 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/12018/statm: 2160 1793 236 467 0 1691 0 Current children cumulated CPU time (s) 144.67 Current children cumulated vsize (KiB) 8640 [startup+145.101 s] /proc/loadavg: 2.00 1.99 1.78 3/177 12023 /proc/meminfo: memFree=30262628/32951132 swapFree=67111528/67111528 [pid=12018] ppid=12016 vsize=8640 CPUtime=145.07 /proc/12018/stat : 12018 (pbct) R 12016 12018 11784 0 -1 4202496 1911 0 0 0 12873 1634 0 0 25 0 1 0 14167026 8847360 1793 4089446400 134512640 136422188 4291396416 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/12018/statm: 2160 1793 236 467 0 1691 0 Current children cumulated CPU time (s) 145.07 Current children cumulated vsize (KiB) 8640 Child status: 0 Real time (s): 145.151 CPU time (s): 145.129 CPU user time (s): 128.778 CPU system time (s): 16.3505 CPU usage (%): 99.9849 Max. virtual memory (cumulated for all children) (KiB): 8640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 128.778 system time used= 16.3505 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1916 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= 3 involuntary context switches= 306 runsolver used 0.189971 second user time and 0.477927 second system time The end
Begin job on node128 at 2010-07-07 01:38:56 IDJOB=2699243 IDBENCH=78850 IDSOLVER=1212 FILE ID=node128/2699243-1278459536 PBS_JOBID= 11233737 Free space on /tmp= 73424 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110971363--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699243-1278459536/watcher-2699243-1278459536 -o /tmp/evaluation-result-2699243-1278459536/solver-2699243-1278459536 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699243-1278459536.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9aae741b51a1836a01c8daeb1bffcdf7 RANDOM SEED=1492846776 node128.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.816 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.816 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.816 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.816 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.816 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.816 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.816 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.816 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 30271880 kB Buffers: 97668 kB Cached: 2332284 kB SwapCached: 0 kB Active: 956280 kB Inactive: 1579796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 30271880 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1948 kB Writeback: 0 kB AnonPages: 106248 kB Mapped: 15524 kB Slab: 80300 kB PageTables: 5260 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 250088 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73420 MiB End job on node128 at 2010-07-07 01:41:21