Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 126.201 | 126.198 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-0-100-0.wbo |
MD5SUM | 43acf8f13d56436057772fd6366e1bde |
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.179971 |
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 | 5034 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 5033 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1248 |
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.036994 7.67188 107 949 0.00/0.04 o 747 0.00/0.04 c 0.038994 7.80859 108 1089 0.00/0.04 o 646 0.00/0.04 c 0.040993 7.80859 114 1160 0.00/0.04 o 623 0.00/0.05 c 0.042993 7.80859 129 1229 0.00/0.05 o 617 0.00/0.05 c 0.046992 7.80859 165 1349 0.00/0.05 o 585 0.05/0.06 c 0.050992 7.80859 207 1445 0.05/0.06 o 578 0.05/0.06 c 0.052991 7.80859 225 1543 0.05/0.06 o 525 0.29/0.35 c 0.287956 7.93359 814 5605 0.29/0.35 o 497 0.29/0.36 c 0.304953 7.93359 558 5992 0.29/0.36 o 481 0.29/0.37 c 0.309952 7.93359 629 6151 0.29/0.37 o 463 0.39/0.42 c 0.353946 7.93359 740 7026 0.39/0.42 o 447 0.39/0.43 c 0.359945 7.93359 414 7205 0.39/0.43 o 437 0.39/0.43 c 0.362944 7.93359 431 7312 0.39/0.43 o 412 0.59/0.66 c 0.552915 8.05859 585 11352 0.59/0.66 o 405 0.59/0.67 c 0.557915 8.05859 634 11536 0.59/0.67 o 360 0.69/0.74 c 0.611906 8.05859 416 12392 0.69/0.74 o 357 0.69/0.74 c 0.613906 8.05859 425 12476 0.69/0.74 o 333 0.69/0.75 c 0.619905 8.05859 508 12711 0.69/0.75 o 264 1.00/1.04 c 0.864868 8.05859 543 16392 1.00/1.04 o 209 1.28/1.34 c 1.12283 8.05859 539 19936 1.28/1.34 o 200 1.39/1.49 c 1.25181 8.05859 419 21761 1.39/1.49 o 140 1.59/1.67 c 1.40379 8.05859 511 23882 1.59/1.67 o 131 2.29/2.38 c 2.01269 8.05859 559 31757 2.29/2.38 o 130 2.59/2.66 c 2.24966 8.05859 615 35073 2.59/2.66 o 126 3.39/3.40 c 2.88256 8.05859 663 42840 3.39/3.40 o 80 3.50/3.56 c 3.01854 8.05859 524 44540 3.50/3.56 o 78 3.59/3.67 c 3.11253 8.05859 744 45803 3.59/3.67 o 77 3.59/3.69 c 3.12752 8.05859 459 46065 3.59/3.69 o 63 4.69/4.77 c 4.10038 8.18359 1340 57499 4.69/4.77 o 60 4.89/4.96 c 4.26135 8.18359 612 59776 4.89/4.96 o 56 4.89/4.97 c 4.27235 8.18359 703 59957 4.89/4.97 o 52 4.89/4.99 c 4.28535 8.18359 438 60227 4.89/4.99 o 47 4.99/5.09 c 4.37333 8.18359 439 61532 4.99/5.09 o 44 5.19/5.24 c 4.50432 8.18359 755 63287 5.19/5.24 o 42 5.89/5.92 c 5.08923 8.18359 436 71147 5.89/5.92 o 36 5.89/5.96 c 5.12422 8.18359 660 71619 5.89/5.96 o 22 6.19/6.29 c 5.42218 8.18359 1029 75843 6.19/6.29 o 21 6.29/6.30 c 5.42617 8.18359 545 75920 6.29/6.30 o 11 6.29/6.32 c 5.44617 8.18359 702 76143 6.29/6.32 o 8 11.89/11.93 c 10.4954 8.3125 986 142592 11.89/11.93 o 3 126.10/126.19 c 114.098 8.6875 792 1495566 126.10/126.19 s OPTIMUM FOUND 126.10/126.19 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-2699378-1278464222/watcher-2699378-1278464222 -o /tmp/evaluation-result-2699378-1278464222/solver-2699378-1278464222 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699378-1278464222.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.04 2.00 1.99 4/182 13741 /proc/meminfo: memFree=28919132/32951124 swapFree=67111528/67111528 [pid=13741] ppid=13739 vsize=3840 CPUtime=0 /proc/13741/stat : 13741 (pbct) R 13739 13741 13108 0 -1 4202496 676 0 0 0 0 0 0 0 25 0 1 0 14634901 3932160 595 4089446400 134512640 136422188 4293567024 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13741/statm: 960 597 193 467 0 491 0 [startup+0.0607041 s] /proc/loadavg: 2.04 2.00 1.99 4/182 13741 /proc/meminfo: memFree=28919132/32951124 swapFree=67111528/67111528 [pid=13741] ppid=13739 vsize=7992 CPUtime=0.05 /proc/13741/stat : 13741 (pbct) R 13739 13741 13108 0 -1 4202496 1692 0 0 0 4 1 0 0 25 0 1 0 14634901 8183808 1606 4089446400 134512640 136422188 4293567024 18446744073709551615 134974301 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13741/statm: 1998 1606 236 467 0 1529 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 7992 [startup+0.100694 s] /proc/loadavg: 2.04 2.00 1.99 4/182 13741 /proc/meminfo: memFree=28919132/32951124 swapFree=67111528/67111528 [pid=13741] ppid=13739 vsize=7992 CPUtime=0.09 /proc/13741/stat : 13741 (pbct) R 13739 13741 13108 0 -1 4202496 1709 0 0 0 8 1 0 0 25 0 1 0 14634901 8183808 1621 4089446400 134512640 136422188 4293567024 18446744073709551615 135019274 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13741/statm: 1998 1621 236 467 0 1529 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7992 [startup+0.300673 s] /proc/loadavg: 2.04 2.00 1.99 4/182 13741 /proc/meminfo: memFree=28919132/32951124 swapFree=67111528/67111528 [pid=13741] ppid=13739 vsize=8120 CPUtime=0.29 /proc/13741/stat : 13741 (pbct) R 13739 13741 13108 0 -1 4202496 1749 0 0 0 24 5 0 0 25 0 1 0 14634901 8314880 1661 4089446400 134512640 136422188 4293567024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13741/statm: 2030 1661 236 467 0 1561 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8120 [startup+0.700589 s] /proc/loadavg: 2.04 2.00 1.99 4/182 13741 /proc/meminfo: memFree=28919132/32951124 swapFree=67111528/67111528 [pid=13741] ppid=13739 vsize=8248 CPUtime=0.69 /proc/13741/stat : 13741 (pbct) R 13739 13741 13108 0 -1 4202496 1779 0 0 0 58 11 0 0 25 0 1 0 14634901 8445952 1683 4089446400 134512640 136422188 4293567024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13741/statm: 2062 1683 236 467 0 1593 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8248 [startup+1.50044 s] /proc/loadavg: 2.04 2.00 1.99 3/183 13742 /proc/meminfo: memFree=28913180/32951124 swapFree=67111528/67111528 [pid=13741] ppid=13739 vsize=8248 CPUtime=1.49 /proc/13741/stat : 13741 (pbct) R 13739 13741 13108 0 -1 4202496 1785 0 0 0 125 24 0 0 25 0 1 0 14634901 8445952 1683 4089446400 134512640 136422188 4293567024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13741/statm: 2062 1683 236 467 0 1593 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8248 [startup+3.10115 s] /proc/loadavg: 2.04 2.00 1.99 4/183 13742 /proc/meminfo: memFree=28913180/32951124 swapFree=67111528/67111528 [pid=13741] ppid=13739 vsize=8248 CPUtime=3.09 /proc/13741/stat : 13741 (pbct) R 13739 13741 13108 0 -1 4202496 1789 0 0 0 262 47 0 0 25 0 1 0 14634901 8445952 1684 4089446400 134512640 136422188 4293567024 18446744073709551615 135686890 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13741/statm: 2062 1684 236 467 0 1593 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8248 [startup+6.30057 s] /proc/loadavg: 2.04 2.00 1.99 3/183 13742 /proc/meminfo: memFree=28913172/32951124 swapFree=67111528/67111528 [pid=13741] ppid=13739 vsize=8376 CPUtime=6.29 /proc/13741/stat : 13741 (pbct) R 13739 13741 13108 0 -1 4202496 1842 0 0 0 542 87 0 0 25 0 1 0 14634901 8577024 1724 4089446400 134512640 136422188 4293567024 18446744073709551615 134974175 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13741/statm: 2094 1724 236 467 0 1625 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8376 [startup+12.7004 s] /proc/loadavg: 2.04 2.00 1.99 3/183 13742 /proc/meminfo: memFree=28913448/32951124 swapFree=67111528/67111528 [pid=13741] ppid=13739 vsize=8508 CPUtime=12.69 /proc/13741/stat : 13741 (pbct) R 13739 13741 13108 0 -1 4202496 1886 0 0 0 1119 150 0 0 25 0 1 0 14634901 8712192 1765 4089446400 134512640 136422188 4293567024 18446744073709551615 135022382 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13741/statm: 2127 1765 236 467 0 1658 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8508 [startup+25.5011 s] /proc/loadavg: 2.03 2.00 1.99 3/183 13742 /proc/meminfo: memFree=28913652/32951124 swapFree=67111528/67111528 [pid=13741] ppid=13739 vsize=8636 CPUtime=25.49 /proc/13741/stat : 13741 (pbct) R 13739 13741 13108 0 -1 4202496 1908 0 0 0 2278 271 0 0 25 0 1 0 14634901 8843264 1787 4089446400 134512640 136422188 4293567024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13741/statm: 2159 1787 236 467 0 1690 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8636 [startup+51.1004 s] /proc/loadavg: 2.02 2.00 1.99 3/183 13743 /proc/meminfo: memFree=28913588/32951124 swapFree=67111528/67111528 [pid=13741] ppid=13739 vsize=8764 CPUtime=51.1 /proc/13741/stat : 13741 (pbct) R 13739 13741 13108 0 -1 4202496 1930 0 0 0 4595 515 0 0 25 0 1 0 14634901 8974336 1809 4089446400 134512640 136422188 4293567024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13741/statm: 2191 1809 236 467 0 1722 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 8764 [startup+102.306 s] /proc/loadavg: 2.01 2.00 1.99 3/183 13744 /proc/meminfo: memFree=28912944/32951124 swapFree=67111528/67111528 [pid=13741] ppid=13739 vsize=8892 CPUtime=102.3 /proc/13741/stat : 13741 (pbct) R 13739 13741 13108 0 -1 4202496 1968 0 0 0 9244 986 0 0 25 0 1 0 14634901 9105408 1847 4089446400 134512640 136422188 4293567024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13741/statm: 2223 1847 236 467 0 1754 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8892 Solver just ended. Dumping a history of the last processes samples [startup+115.101 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13744 /proc/meminfo: memFree=28913060/32951124 swapFree=67111528/67111528 [pid=13741] ppid=13739 vsize=8892 CPUtime=115.1 /proc/13741/stat : 13741 (pbct) R 13739 13741 13108 0 -1 4202496 1973 0 0 0 10406 1104 0 0 25 0 1 0 14634901 9105408 1852 4089446400 134512640 136422188 4293567024 18446744073709551615 135019281 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13741/statm: 2223 1852 236 467 0 1754 0 Current children cumulated CPU time (s) 115.1 Current children cumulated vsize (KiB) 8892 [startup+121.501 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13745 /proc/meminfo: memFree=28912928/32951124 swapFree=67111528/67111528 [pid=13741] ppid=13739 vsize=8892 CPUtime=121.49 /proc/13741/stat : 13741 (pbct) R 13739 13741 13108 0 -1 4202496 1973 0 0 0 10983 1166 0 0 25 0 1 0 14634901 9105408 1852 4089446400 134512640 136422188 4293567024 18446744073709551615 135019223 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13741/statm: 2223 1852 236 467 0 1754 0 Current children cumulated CPU time (s) 121.49 Current children cumulated vsize (KiB) 8892 [startup+124.701 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13745 /proc/meminfo: memFree=28912800/32951124 swapFree=67111528/67111528 [pid=13741] ppid=13739 vsize=8892 CPUtime=124.69 /proc/13741/stat : 13741 (pbct) R 13739 13741 13108 0 -1 4202496 1973 0 0 0 11272 1197 0 0 25 0 1 0 14634901 9105408 1852 4089446400 134512640 136422188 4293567024 18446744073709551615 134864254 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13741/statm: 2223 1852 236 467 0 1754 0 Current children cumulated CPU time (s) 124.69 Current children cumulated vsize (KiB) 8892 [startup+125.501 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13745 /proc/meminfo: memFree=28912800/32951124 swapFree=67111528/67111528 [pid=13741] ppid=13739 vsize=8892 CPUtime=125.5 /proc/13741/stat : 13741 (pbct) R 13739 13741 13108 0 -1 4202496 1973 0 0 0 11345 1205 0 0 25 0 1 0 14634901 9105408 1852 4089446400 134512640 136422188 4293567024 18446744073709551615 134641361 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13741/statm: 2223 1852 236 467 0 1754 0 Current children cumulated CPU time (s) 125.5 Current children cumulated vsize (KiB) 8892 [startup+125.901 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13745 /proc/meminfo: memFree=28912800/32951124 swapFree=67111528/67111528 [pid=13741] ppid=13739 vsize=8892 CPUtime=125.89 /proc/13741/stat : 13741 (pbct) R 13739 13741 13108 0 -1 4202496 1973 0 0 0 11382 1207 0 0 25 0 1 0 14634901 9105408 1852 4089446400 134512640 136422188 4293567024 18446744073709551615 135686449 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13741/statm: 2223 1852 236 467 0 1754 0 Current children cumulated CPU time (s) 125.89 Current children cumulated vsize (KiB) 8892 [startup+126.101 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13745 /proc/meminfo: memFree=28912800/32951124 swapFree=67111528/67111528 [pid=13741] ppid=13739 vsize=8892 CPUtime=126.1 /proc/13741/stat : 13741 (pbct) R 13739 13741 13108 0 -1 4202496 1973 0 0 0 11401 1209 0 0 25 0 1 0 14634901 9105408 1852 4089446400 134512640 136422188 4293567024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13741/statm: 2223 1852 236 467 0 1754 0 Current children cumulated CPU time (s) 126.1 Current children cumulated vsize (KiB) 8892 Child status: 0 Real time (s): 126.198 CPU time (s): 126.201 CPU user time (s): 114.103 CPU system time (s): 12.0982 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 8892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 114.103 system time used= 12.0982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1978 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= 375 runsolver used 0.214967 second user time and 0.444932 second system time The end
Begin job on node133 at 2010-07-07 02:57:02 IDJOB=2699378 IDBENCH=79205 IDSOLVER=1212 FILE ID=node133/2699378-1278464222 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.1111220767--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699378-1278464222/watcher-2699378-1278464222 -o /tmp/evaluation-result-2699378-1278464222/solver-2699378-1278464222 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699378-1278464222.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 43acf8f13d56436057772fd6366e1bde RANDOM SEED=1908489042 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: 28919784 kB Buffers: 112900 kB Cached: 3334444 kB SwapCached: 0 kB Active: 1018068 kB Inactive: 2873636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28919784 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1964 kB Writeback: 0 kB AnonPages: 444572 kB Mapped: 15244 kB Slab: 76552 kB PageTables: 5692 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 606024 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 02:59:08