Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 60.5188 | 60.5166 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978113--soft-0-100-0.wbo |
MD5SUM | d4e6776e3ea6e9cf4cf1ebaa2f1d5c78 |
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 | 9 |
Best CPU time to get the best result obtained on this benchmark | 0.619904 |
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 | 5180 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 5179 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1184 |
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.032994 7.56641 105 908 0.00/0.04 o 711 0.00/0.04 c 0.034994 7.75 112 975 0.00/0.04 o 679 0.00/0.04 c 0.034994 7.75 115 1013 0.00/0.04 o 674 0.00/0.04 c 0.034994 7.75 124 1078 0.00/0.04 o 645 0.00/0.04 c 0.034994 7.75 128 1117 0.00/0.04 o 626 0.04/0.04 c 0.036994 7.75 140 1177 0.04/0.04 o 600 0.04/0.06 c 0.040993 7.75 264 1419 0.04/0.06 o 597 0.04/0.06 c 0.042993 7.75 270 1471 0.04/0.06 o 592 0.04/0.06 c 0.042993 7.75 273 1499 0.04/0.06 o 588 0.04/0.06 c 0.042993 7.75 275 1544 0.04/0.06 o 556 0.04/0.06 c 0.045993 7.75 314 1640 0.04/0.06 o 530 0.04/0.08 c 0.056991 7.875 464 1926 0.04/0.08 o 511 0.04/0.08 c 0.058991 7.875 516 2044 0.04/0.08 o 487 0.04/0.08 c 0.058991 7.875 519 2084 0.04/0.08 o 460 0.39/0.42 c 0.251961 8.125 429 8367 0.39/0.42 o 451 0.39/0.43 c 0.253961 8.125 480 8603 0.39/0.43 o 438 0.39/0.43 c 0.254961 8.125 484 8657 0.39/0.43 o 421 0.39/0.43 c 0.254961 8.125 488 8741 0.39/0.43 o 386 0.49/0.54 c 0.318951 8.125 641 10581 0.49/0.54 o 379 0.49/0.55 c 0.32695 8.125 397 10761 0.49/0.55 o 369 0.49/0.57 c 0.334949 8.125 568 11089 0.49/0.57 o 361 0.49/0.59 c 0.341948 8.125 366 11375 0.49/0.59 o 343 0.69/0.73 c 0.434933 8.125 673 13365 0.69/0.73 o 342 0.69/0.73 c 0.438933 8.125 399 13481 0.69/0.73 o 325 0.89/0.90 c 0.530919 8.125 846 16302 0.89/0.90 o 309 0.99/1.02 c 0.607907 8.125 825 18147 0.99/1.02 o 304 1.49/1.51 c 0.896863 8.125 612 26441 1.49/1.51 o 257 1.49/1.54 c 0.91886 8.125 435 26851 1.49/1.54 o 254 1.49/1.55 c 0.924859 8.125 500 26982 1.49/1.55 o 248 1.59/1.61 c 0.962853 8.125 520 27769 1.59/1.61 o 228 1.59/1.67 c 1.00685 8.125 938 28572 1.59/1.67 o 214 1.59/1.69 c 1.02084 8.125 594 28824 1.59/1.69 o 203 2.69/2.73 c 1.62275 8.125 408 41686 2.69/2.73 o 201 3.30/3.39 c 2.03369 8.125 732 49218 3.30/3.39 o 199 4.59/4.65 c 2.79957 8.125 567 65230 4.59/4.65 o 193 4.59/4.66 c 2.81057 8.125 652 65404 4.59/4.66 o 180 4.99/5.01 c 2.99954 8.125 529 69574 4.99/5.01 o 179 5.50/5.57 c 3.31949 8.125 685 76877 5.50/5.57 o 164 6.59/6.67 c 3.98639 8.125 406 90771 6.59/6.67 o 148 8.09/8.13 c 4.89226 8.125 496 107117 8.09/8.13 o 146 11.89/12.00 c 7.2299 8.25 613 148688 11.89/12.00 o 145 14.29/14.34 c 8.72267 8.25 564 174981 14.29/14.34 o 143 14.29/14.36 c 8.72867 8.25 635 175219 14.29/14.36 o 125 14.29/14.37 c 8.73667 8.25 708 175371 14.29/14.37 o 107 18.29/18.33 c 11.2843 8.25 663 221660 18.29/18.33 o 95 19.99/20.03 c 12.3881 8.25 736 240301 19.99/20.03 o 92 21.79/21.84 c 13.4969 8.36328 580 260479 21.79/21.84 o 84 24.99/25.04 c 15.5176 8.35156 950 296075 24.99/25.04 o 78 25.69/25.79 c 15.9886 8.35156 619 303822 25.69/25.79 o 73 46.29/46.36 c 29.3555 8.47266 728 520122 46.29/46.36 o 64 46.39/46.40 c 29.3835 8.47266 667 520709 46.39/46.40 o 61 46.39/46.44 c 29.4045 8.47266 554 521184 46.39/46.44 o 36 46.39/46.44 c 29.4065 8.47266 580 521234 46.39/46.44 o 25 47.79/47.85 c 30.4484 8.47266 865 539121 47.79/47.85 o 23 47.99/48.05 c 30.6133 8.47266 683 541815 47.99/48.05 o 20 49.19/49.29 c 31.5242 8.47266 479 557403 49.19/49.29 o 9 60.50/60.51 c 40.0199 8.59375 637 697799 60.50/60.51 s OPTIMUM FOUND 60.50/60.51 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 9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699432-1278464370/watcher-2699432-1278464370 -o /tmp/evaluation-result-2699432-1278464370/solver-2699432-1278464370 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699432-1278464370.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.94 4/178 12664 /proc/meminfo: memFree=30047924/32950928 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=3840 CPUtime=0 /proc/12664/stat : 12664 (pbct) R 12662 12664 11784 0 -1 4202496 681 0 0 0 0 0 0 0 20 0 1 0 14651204 3932160 600 4089446400 134512640 136422188 4292403376 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12664/statm: 993 602 193 467 0 524 0 [startup+0.0475831 s] /proc/loadavg: 2.00 2.00 1.94 4/178 12664 /proc/meminfo: memFree=30047924/32950928 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=7932 CPUtime=0.04 /proc/12664/stat : 12664 (pbct) R 12662 12664 11784 0 -1 4202496 1695 0 0 0 3 1 0 0 20 0 1 0 14651204 8122368 1609 4089446400 134512640 136422188 4292403376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12664/statm: 1983 1609 236 467 0 1514 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 7932 [startup+0.100572 s] /proc/loadavg: 2.00 2.00 1.94 4/178 12664 /proc/meminfo: memFree=30047924/32950928 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=8060 CPUtime=0.09 /proc/12664/stat : 12664 (pbct) R 12662 12664 11784 0 -1 4202496 1740 0 0 0 6 3 0 0 20 0 1 0 14651204 8253440 1645 4089446400 134512640 136422188 4292403376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12664/statm: 2015 1645 236 467 0 1546 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8060 [startup+0.30054 s] /proc/loadavg: 2.00 2.00 1.94 4/178 12664 /proc/meminfo: memFree=30047924/32950928 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=8188 CPUtime=0.29 /proc/12664/stat : 12664 (pbct) R 12662 12664 11784 0 -1 4202496 1756 0 0 0 17 12 0 0 21 0 1 0 14651204 8384512 1661 4089446400 134512640 136422188 4292403376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12664/statm: 2047 1661 236 467 0 1578 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8188 [startup+0.700465 s] /proc/loadavg: 2.00 2.00 1.94 4/178 12664 /proc/meminfo: memFree=30047924/32950928 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=8316 CPUtime=0.69 /proc/12664/stat : 12664 (pbct) R 12662 12664 11784 0 -1 4202496 1809 0 0 0 41 28 0 0 22 0 1 0 14651204 8515584 1706 4089446400 134512640 136422188 4292403376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12664/statm: 2079 1706 236 467 0 1610 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8316 [startup+1.50032 s] /proc/loadavg: 2.00 2.00 1.94 3/179 12665 /proc/meminfo: memFree=30042336/32950928 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=8316 CPUtime=1.49 /proc/12664/stat : 12664 (pbct) R 12662 12664 11784 0 -1 4202496 1813 0 0 0 88 61 0 0 25 0 1 0 14651204 8515584 1706 4089446400 134512640 136422188 4292403376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12664/statm: 2079 1706 236 467 0 1610 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8316 [startup+3.10102 s] /proc/loadavg: 2.00 2.00 1.94 3/179 12665 /proc/meminfo: memFree=30042088/32950928 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=8316 CPUtime=3.1 /proc/12664/stat : 12664 (pbct) R 12662 12664 11784 0 -1 4202496 1820 0 0 0 185 125 0 0 25 0 1 0 14651204 8515584 1706 4089446400 134512640 136422188 4292403376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12664/statm: 2079 1706 236 467 0 1610 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 8316 [startup+6.30043 s] /proc/loadavg: 2.00 2.00 1.94 3/179 12692 /proc/meminfo: memFree=30042236/32950928 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=8316 CPUtime=6.29 /proc/12664/stat : 12664 (pbct) R 12662 12664 11784 0 -1 4202496 1834 0 0 0 374 255 0 0 25 0 1 0 14651204 8515584 1715 4089446400 134512640 136422188 4292403376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12664/statm: 2079 1715 236 467 0 1610 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8316 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 1.94 3/179 12692 /proc/meminfo: memFree=30042716/32950928 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=8444 CPUtime=12.69 /proc/12664/stat : 12664 (pbct) R 12662 12664 11784 0 -1 4202496 1872 0 0 0 768 501 0 0 25 0 1 0 14651204 8646656 1750 4089446400 134512640 136422188 4292403376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12664/statm: 2111 1750 236 467 0 1642 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8444 [startup+25.5009 s] /proc/loadavg: 2.00 2.00 1.94 3/179 12692 /proc/meminfo: memFree=30043456/32950928 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=8548 CPUtime=25.49 /proc/12664/stat : 12664 (pbct) R 12662 12664 11784 0 -1 4202496 1900 0 0 0 1579 970 0 0 25 0 1 0 14651204 8753152 1771 4089446400 134512640 136422188 4292403376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12664/statm: 2137 1771 236 467 0 1668 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8548 [startup+51.1011 s] /proc/loadavg: 2.00 2.00 1.94 3/179 12693 /proc/meminfo: memFree=30043052/32950928 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=8796 CPUtime=51.09 /proc/12664/stat : 12664 (pbct) R 12662 12664 11784 0 -1 4202496 1952 0 0 0 3289 1820 0 0 20 0 1 0 14651204 9007104 1815 4089446400 134512640 136422188 4292403376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12664/statm: 2199 1815 236 467 0 1730 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8796 Solver just ended. Dumping a history of the last processes samples [startup+57.5009 s] /proc/loadavg: 2.00 2.00 1.94 3/179 12693 /proc/meminfo: memFree=30043044/32950928 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=8796 CPUtime=57.49 /proc/12664/stat : 12664 (pbct) R 12662 12664 11784 0 -1 4202496 1952 0 0 0 3770 1979 0 0 25 0 1 0 14651204 9007104 1815 4089446400 134512640 136422188 4292403376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12664/statm: 2199 1815 236 467 0 1730 0 Current children cumulated CPU time (s) 57.49 Current children cumulated vsize (KiB) 8796 [startup+59.1006 s] /proc/loadavg: 2.00 2.00 1.94 3/179 12693 /proc/meminfo: memFree=30042920/32950928 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=8796 CPUtime=59.1 /proc/12664/stat : 12664 (pbct) R 12662 12664 11784 0 -1 4202496 1952 0 0 0 3895 2015 0 0 25 0 1 0 14651204 9007104 1815 4089446400 134512640 136422188 4292403376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12664/statm: 2199 1815 236 467 0 1730 0 Current children cumulated CPU time (s) 59.1 Current children cumulated vsize (KiB) 8796 [startup+59.9005 s] /proc/loadavg: 2.00 2.00 1.94 3/179 12693 /proc/meminfo: memFree=30043040/32950928 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=8796 CPUtime=59.89 /proc/12664/stat : 12664 (pbct) R 12662 12664 11784 0 -1 4202496 1952 0 0 0 3954 2035 0 0 25 0 1 0 14651204 9007104 1815 4089446400 134512640 136422188 4292403376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12664/statm: 2199 1815 236 467 0 1730 0 Current children cumulated CPU time (s) 59.89 Current children cumulated vsize (KiB) 8796 [startup+60.3004 s] /proc/loadavg: 2.00 2.00 1.94 3/179 12693 /proc/meminfo: memFree=30043040/32950928 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=8796 CPUtime=60.29 /proc/12664/stat : 12664 (pbct) R 12662 12664 11784 0 -1 4202496 1953 0 0 0 3985 2044 0 0 25 0 1 0 14651204 9007104 1816 4089446400 134512640 136422188 4292403376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12664/statm: 2199 1816 236 467 0 1730 0 Current children cumulated CPU time (s) 60.29 Current children cumulated vsize (KiB) 8796 [startup+60.5064 s] /proc/loadavg: 2.00 2.00 1.94 3/179 12693 /proc/meminfo: memFree=30042916/32950928 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=8796 CPUtime=60.5 /proc/12664/stat : 12664 (pbct) R 12662 12664 11784 0 -1 4202496 1953 0 0 0 4001 2049 0 0 25 0 1 0 14651204 9007104 1816 4089446400 134512640 136422188 4292403376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12664/statm: 2199 1816 236 467 0 1730 0 Current children cumulated CPU time (s) 60.5 Current children cumulated vsize (KiB) 8796 Child status: 0 Real time (s): 60.5166 CPU time (s): 60.5188 CPU user time (s): 40.0249 CPU system time (s): 20.4939 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 8800 getrusage(RUSAGE_CHILDREN,...) data: user time used= 40.0249 system time used= 20.4939 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1958 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= 5 involuntary context switches= 75 runsolver used 0.112982 second user time and 0.198969 second system time The end
Begin job on node113 at 2010-07-07 02:59:30 IDJOB=2699432 IDBENCH=79232 IDSOLVER=1212 FILE ID=node113/2699432-1278464370 PBS_JOBID= 11233766 Free space on /tmp= 73812 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110978113--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699432-1278464370/watcher-2699432-1278464370 -o /tmp/evaluation-result-2699432-1278464370/solver-2699432-1278464370 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699432-1278464370.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d4e6776e3ea6e9cf4cf1ebaa2f1d5c78 RANDOM SEED=788142430 node113.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.843 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.843 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.843 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.843 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.73 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.843 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.843 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.76 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.843 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.93 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.843 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: 32950928 kB MemFree: 30048452 kB Buffers: 104604 kB Cached: 2591072 kB SwapCached: 0 kB Active: 1198204 kB Inactive: 1567412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30048452 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1956 kB Writeback: 0 kB AnonPages: 69708 kB Mapped: 15608 kB Slab: 73684 kB PageTables: 5220 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 211528 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= 73812 MiB End job on node113 at 2010-07-07 03:00:31