Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 269.658 | 269.655 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-66-100-0.wbo |
MD5SUM | 4d6b693ddbf7ce459649ee1140704478 |
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 | 63 |
Best CPU time to get the best result obtained on this benchmark | 0.175972 |
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 | 29 |
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 | 1556 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 1555 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1247 |
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 50/21 clauses 22/8 units 0 0.00/0.00 c vars 169 0.79/0.85 c 0.632903 7.69922 1630 10545 0.79/0.85 o 310 0.79/0.89 c 0.671897 7.69922 430 11255 0.79/0.89 o 272 2.89/2.98 c 2.26365 7.82422 704 39087 2.89/2.99 o 270 2.89/2.99 c 2.26566 7.82422 358 39146 2.89/2.99 o 250 2.99/3.08 c 2.34064 7.82422 681 40689 2.99/3.08 o 223 6.99/7.00 c 5.30519 7.82422 842 91439 6.99/7.00 o 201 6.99/7.01 c 5.31219 7.82422 478 91528 6.99/7.01 o 181 7.99/8.01 c 6.04808 7.82422 420 104601 7.99/8.01 o 116 8.39/8.41 c 6.36503 7.82422 576 109765 8.39/8.41 o 79 38.29/38.30 c 29.3875 8.12109 536 491768 38.29/38.30 o 63 269.59/269.65 c 199.101 8.37109 834 3504960 269.59/269.65 s OPTIMUM FOUND 269.59/269.65 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 63
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699109-1278459340/watcher-2699109-1278459340 -o /tmp/evaluation-result-2699109-1278459340/solver-2699109-1278459340 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699109-1278459340.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.84 1.91 1.68 3/178 14112 /proc/meminfo: memFree=30370460/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=3832 CPUtime=0 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 656 0 0 0 0 0 0 0 25 0 1 0 14147501 3923968 575 4089446400 134512640 136422188 4293017648 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14112/statm: 958 576 193 467 0 489 0 [startup+0.059011 s] /proc/loadavg: 1.84 1.91 1.68 3/178 14112 /proc/meminfo: memFree=30370460/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=7492 CPUtime=0.05 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1579 0 0 0 4 1 0 0 25 0 1 0 14147501 7671808 1498 4089446400 134512640 136422188 4293017648 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14112/statm: 1873 1498 213 467 0 1404 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 7492 [startup+0.100997 s] /proc/loadavg: 1.84 1.91 1.68 3/178 14112 /proc/meminfo: memFree=30370460/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=7620 CPUtime=0.09 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1595 0 0 0 7 2 0 0 25 0 1 0 14147501 7802880 1514 4089446400 134512640 136422188 4293017648 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14112/statm: 1905 1514 213 467 0 1436 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7620 [startup+0.300965 s] /proc/loadavg: 1.84 1.91 1.68 3/178 14112 /proc/meminfo: memFree=30370460/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=7748 CPUtime=0.29 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1621 0 0 0 21 8 0 0 25 0 1 0 14147501 7933952 1540 4089446400 134512640 136422188 4293017648 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14112/statm: 1937 1540 213 467 0 1468 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7748 [startup+0.700844 s] /proc/loadavg: 1.84 1.91 1.68 3/178 14112 /proc/meminfo: memFree=30370460/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=7748 CPUtime=0.69 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1643 0 0 0 52 17 0 0 25 0 1 0 14147501 7933952 1562 4089446400 134512640 136422188 4293017648 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14112/statm: 1937 1562 213 467 0 1468 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7748 [startup+1.50063 s] /proc/loadavg: 1.84 1.91 1.68 3/179 14113 /proc/meminfo: memFree=30364624/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=7880 CPUtime=1.49 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1696 0 0 0 113 36 0 0 25 0 1 0 14147501 8069120 1613 4089446400 134512640 136422188 4293017648 18446744073709551615 134864012 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14112/statm: 1970 1613 236 467 0 1501 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7880 [startup+3.10047 s] /proc/loadavg: 1.84 1.91 1.68 3/179 14113 /proc/meminfo: memFree=30364252/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=8008 CPUtime=3.09 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1705 0 0 0 234 75 0 0 25 0 1 0 14147501 8200192 1619 4089446400 134512640 136422188 4293017648 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14112/statm: 2002 1619 236 467 0 1533 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8008 [startup+6.3009 s] /proc/loadavg: 1.85 1.91 1.68 3/179 14113 /proc/meminfo: memFree=30364140/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=8008 CPUtime=6.29 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1715 0 0 0 476 153 0 0 25 0 1 0 14147501 8200192 1629 4089446400 134512640 136422188 4293017648 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14112/statm: 2002 1629 236 467 0 1533 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8008 [startup+12.7008 s] /proc/loadavg: 1.86 1.91 1.68 3/179 14113 /proc/meminfo: memFree=30364156/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=8136 CPUtime=12.69 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1750 0 0 0 971 298 0 0 25 0 1 0 14147501 8331264 1660 4089446400 134512640 136422188 4293017648 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14112/statm: 2034 1660 236 467 0 1565 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8136 [startup+25.5005 s] /proc/loadavg: 1.89 1.92 1.68 3/179 14113 /proc/meminfo: memFree=30364088/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=8244 CPUtime=25.5 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1782 0 0 0 1954 596 0 0 25 0 1 0 14147501 8441856 1692 4089446400 134512640 136422188 4293017648 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14112/statm: 2061 1692 236 467 0 1592 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 8244 [startup+51.1008 s] /proc/loadavg: 1.93 1.92 1.69 3/179 14142 /proc/meminfo: memFree=30364680/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=8312 CPUtime=51.09 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1808 0 0 0 3870 1239 0 0 25 0 1 0 14147501 8511488 1717 4089446400 134512640 136422188 4293017648 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14112/statm: 2078 1717 236 467 0 1609 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8312 [startup+102.306 s] /proc/loadavg: 1.97 1.93 1.71 3/179 14142 /proc/meminfo: memFree=30364052/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=8440 CPUtime=102.3 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1824 0 0 0 7613 2617 0 0 25 0 1 0 14147501 8642560 1733 4089446400 134512640 136422188 4293017648 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14112/statm: 2110 1733 236 467 0 1641 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8440 [startup+162.301 s] /proc/loadavg: 1.99 1.94 1.72 3/179 14171 /proc/meminfo: memFree=30363864/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=8568 CPUtime=162.29 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1865 0 0 0 12012 4217 0 0 25 0 1 0 14147501 8773632 1774 4089446400 134512640 136422188 4293017648 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14112/statm: 2142 1774 236 467 0 1673 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 8568 [startup+222.3 s] /proc/loadavg: 1.99 1.95 1.74 3/179 14173 /proc/meminfo: memFree=30364352/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=8568 CPUtime=222.29 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1865 0 0 0 16420 5809 0 0 25 0 1 0 14147501 8773632 1774 4089446400 134512640 136422188 4293017648 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14112/statm: 2142 1774 236 467 0 1673 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 8568 Solver just ended. Dumping a history of the last processes samples [startup+230.301 s] /proc/loadavg: 1.99 1.95 1.74 3/179 14173 /proc/meminfo: memFree=30364348/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=8568 CPUtime=230.3 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1867 0 0 0 17009 6021 0 0 25 0 1 0 14147501 8773632 1776 4089446400 134512640 136422188 4293017648 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14112/statm: 2142 1776 236 467 0 1673 0 Current children cumulated CPU time (s) 230.3 Current children cumulated vsize (KiB) 8568 [startup+255.901 s] /proc/loadavg: 1.99 1.95 1.74 3/179 14174 /proc/meminfo: memFree=30363972/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=8568 CPUtime=255.89 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1867 0 0 0 18891 6698 0 0 25 0 1 0 14147501 8773632 1776 4089446400 134512640 136422188 4293017648 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14112/statm: 2142 1776 236 467 0 1673 0 Current children cumulated CPU time (s) 255.89 Current children cumulated vsize (KiB) 8568 [startup+262.301 s] /proc/loadavg: 1.99 1.95 1.74 3/179 14174 /proc/meminfo: memFree=30363968/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=8568 CPUtime=262.29 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1867 0 0 0 19361 6868 0 0 25 0 1 0 14147501 8773632 1776 4089446400 134512640 136422188 4293017648 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14112/statm: 2142 1776 236 467 0 1673 0 Current children cumulated CPU time (s) 262.29 Current children cumulated vsize (KiB) 8568 [startup+265.5 s] /proc/loadavg: 1.99 1.95 1.75 3/179 14174 /proc/meminfo: memFree=30364088/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=8568 CPUtime=265.5 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1867 0 0 0 19603 6947 0 0 25 0 1 0 14147501 8773632 1776 4089446400 134512640 136422188 4293017648 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14112/statm: 2142 1776 236 467 0 1673 0 Current children cumulated CPU time (s) 265.5 Current children cumulated vsize (KiB) 8568 [startup+267.101 s] /proc/loadavg: 1.99 1.95 1.75 3/179 14174 /proc/meminfo: memFree=30364088/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=8568 CPUtime=267.1 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1867 0 0 0 19722 6988 0 0 25 0 1 0 14147501 8773632 1776 4089446400 134512640 136422188 4293017648 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14112/statm: 2142 1776 236 467 0 1673 0 Current children cumulated CPU time (s) 267.1 Current children cumulated vsize (KiB) 8568 [startup+268.701 s] /proc/loadavg: 1.99 1.95 1.75 3/179 14174 /proc/meminfo: memFree=30363832/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=8568 CPUtime=268.69 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1867 0 0 0 19839 7030 0 0 25 0 1 0 14147501 8773632 1776 4089446400 134512640 136422188 4293017648 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14112/statm: 2142 1776 236 467 0 1673 0 Current children cumulated CPU time (s) 268.69 Current children cumulated vsize (KiB) 8568 [startup+269.101 s] /proc/loadavg: 1.99 1.95 1.75 3/179 14174 /proc/meminfo: memFree=30363832/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=8568 CPUtime=269.09 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1867 0 0 0 19869 7040 0 0 25 0 1 0 14147501 8773632 1776 4089446400 134512640 136422188 4293017648 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14112/statm: 2142 1776 236 467 0 1673 0 Current children cumulated CPU time (s) 269.09 Current children cumulated vsize (KiB) 8568 [startup+269.506 s] /proc/loadavg: 1.99 1.95 1.75 3/179 14174 /proc/meminfo: memFree=30363832/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=8568 CPUtime=269.49 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1867 0 0 0 19899 7050 0 0 25 0 1 0 14147501 8773632 1776 4089446400 134512640 136422188 4293017648 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14112/statm: 2142 1776 236 467 0 1673 0 Current children cumulated CPU time (s) 269.49 Current children cumulated vsize (KiB) 8568 [startup+269.601 s] /proc/loadavg: 1.99 1.95 1.75 3/179 14174 /proc/meminfo: memFree=30363832/32950928 swapFree=67111528/67111528 [pid=14112] ppid=14110 vsize=8568 CPUtime=269.59 /proc/14112/stat : 14112 (pbct) R 14110 14112 13912 0 -1 4202496 1867 0 0 0 19906 7053 0 0 25 0 1 0 14147501 8773632 1776 4089446400 134512640 136422188 4293017648 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14112/statm: 2142 1776 236 467 0 1673 0 Current children cumulated CPU time (s) 269.59 Current children cumulated vsize (KiB) 8568 Child status: 0 Real time (s): 269.655 CPU time (s): 269.658 CPU user time (s): 199.106 CPU system time (s): 70.5523 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 8568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 199.106 system time used= 70.5523 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1872 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= 572 runsolver used 0.404938 second user time and 0.827874 second system time The end
Begin job on node122 at 2010-07-07 01:35:40 IDJOB=2699109 IDBENCH=78786 IDSOLVER=1212 FILE ID=node122/2699109-1278459340 PBS_JOBID= 11233749 Free space on /tmp= 73688 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110978334--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699109-1278459340/watcher-2699109-1278459340 -o /tmp/evaluation-result-2699109-1278459340/solver-2699109-1278459340 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699109-1278459340.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4d6b693ddbf7ce459649ee1140704478 RANDOM SEED=507695721 node122.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.839 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.67 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.839 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 : 5226.16 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.839 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.839 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.81 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.839 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.76 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.839 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.67 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.839 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.82 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.839 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30370856 kB Buffers: 107580 kB Cached: 2262788 kB SwapCached: 0 kB Active: 858796 kB Inactive: 1581716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30370856 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1952 kB Writeback: 0 kB AnonPages: 70116 kB Mapped: 15420 kB Slab: 76456 kB PageTables: 4444 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 212648 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= 73688 MiB End job on node122 at 2010-07-07 01:40:09