Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | Wrong Opt. | 158.715 | 158.709 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-0-100-0.wbo |
MD5SUM | 8d3a0dfad59028a8b475e3430d41a204 |
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.163974 |
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 | 4944 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 4943 |
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.1 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.05 c 0.040993 7.67188 130 2384 0.00/0.05 o 647 0.05/0.07 c 0.055991 7.8125 172 4275 0.05/0.07 o 299 0.09/0.11 c 0.091986 7.8125 509 5177 0.09/0.11 o 291 0.09/0.12 c 0.102984 7.8125 620 5426 0.09/0.12 o 259 0.29/0.31 c 0.25696 7.8125 516 8647 0.29/0.31 o 254 0.29/0.32 c 0.264959 7.8125 567 8809 0.29/0.32 o 237 0.29/0.34 c 0.281957 7.8125 405 9360 0.29/0.34 o 204 0.29/0.37 c 0.307953 7.8125 650 9962 0.29/0.37 o 194 0.49/0.56 c 0.45993 7.8125 414 12835 0.49/0.56 o 193 1.49/1.59 c 1.3088 7.9375 762 28168 1.49/1.59 o 183 1.59/1.60 c 1.3168 7.9375 468 28345 1.59/1.60 o 181 1.89/1.91 c 1.57076 7.9375 1015 32020 1.89/1.91 o 149 4.59/4.64 c 3.87441 7.9375 883 63704 4.59/4.64 o 148 5.59/5.68 c 4.75328 7.9375 771 76152 5.59/5.68 o 145 5.79/5.83 c 4.86726 7.9375 763 77997 5.79/5.83 o 140 8.89/8.98 c 7.53085 7.9375 874 114728 8.89/8.98 o 118 10.79/10.89 c 9.14961 7.9375 895 136373 10.79/10.89 o 108 13.39/13.49 c 11.3763 7.9375 1112 164889 13.39/13.49 o 96 13.39/13.49 c 11.3813 7.9375 978 164964 13.39/13.49 o 90 27.09/27.11 c 23.5904 7.9375 1280 279963 27.09/27.11 o 71 27.19/27.25 c 23.7134 7.9375 1299 281576 27.19/27.25 o 70 37.49/37.54 c 33.3109 7.9375 1352 343295 37.49/37.54 o 62 40.39/40.42 c 36.0405 7.9375 1391 361559 40.39/40.42 o 43 40.89/40.96 c 36.5364 7.9375 1412 366165 40.89/40.96 o 14 158.70/158.70 c 146.88 8.0625 1421 1596470 158.70/158.70 s OPTIMUM FOUND 158.70/158.70 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 14
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695685-1277924754/watcher-2695685-1277924754 -o /tmp/evaluation-result-2695685-1277924754/solver-2695685-1277924754 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695685-1277924754.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.98 1.98 1.99 4/178 17660 /proc/meminfo: memFree=31384572/32951124 swapFree=67111528/67111528 [pid=17660] ppid=17658 vsize=3968 CPUtime=0 /proc/17660/stat : 17660 (pbct) R 17658 17660 16083 0 -1 4202496 688 0 0 0 0 0 0 0 25 0 1 0 133770642 4063232 607 4089446400 134512640 136421960 4289667424 18446744073709551615 135829965 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17660/statm: 992 608 193 467 0 523 0 [startup+0.0625061 s] /proc/loadavg: 1.98 1.98 1.99 4/178 17660 /proc/meminfo: memFree=31384572/32951124 swapFree=67111528/67111528 [pid=17660] ppid=17658 vsize=7996 CPUtime=0.05 /proc/17660/stat : 17660 (pbct) R 17658 17660 16083 0 -1 4202496 1689 0 0 0 4 1 0 0 25 0 1 0 133770642 8187904 1607 4089446400 134512640 136421960 4289667424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17660/statm: 1999 1607 236 467 0 1530 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 7996 [startup+0.101498 s] /proc/loadavg: 1.98 1.98 1.99 4/178 17660 /proc/meminfo: memFree=31384572/32951124 swapFree=67111528/67111528 [pid=17660] ppid=17658 vsize=7996 CPUtime=0.09 /proc/17660/stat : 17660 (pbct) R 17658 17660 16083 0 -1 4202496 1693 0 0 0 8 1 0 0 25 0 1 0 133770642 8187904 1610 4089446400 134512640 136421960 4289667424 18446744073709551615 134973928 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17660/statm: 1999 1610 236 467 0 1530 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7996 [startup+0.300477 s] /proc/loadavg: 1.98 1.98 1.99 4/178 17660 /proc/meminfo: memFree=31384572/32951124 swapFree=67111528/67111528 [pid=17660] ppid=17658 vsize=7996 CPUtime=0.29 /proc/17660/stat : 17660 (pbct) R 17658 17660 16083 0 -1 4202496 1721 0 0 0 24 5 0 0 25 0 1 0 133770642 8187904 1636 4089446400 134512640 136421960 4289667424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17660/statm: 1999 1636 236 467 0 1530 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7996 [startup+0.700388 s] /proc/loadavg: 1.98 1.98 1.99 4/178 17660 /proc/meminfo: memFree=31384572/32951124 swapFree=67111528/67111528 [pid=17660] ppid=17658 vsize=8124 CPUtime=0.69 /proc/17660/stat : 17660 (pbct) R 17658 17660 16083 0 -1 4202496 1737 0 0 0 56 13 0 0 25 0 1 0 133770642 8318976 1647 4089446400 134512640 136421960 4289667424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17660/statm: 2031 1647 236 467 0 1562 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8124 [startup+1.50024 s] /proc/loadavg: 1.98 1.98 1.99 3/179 17661 /proc/meminfo: memFree=31378620/32951124 swapFree=67111528/67111528 [pid=17660] ppid=17658 vsize=8124 CPUtime=1.49 /proc/17660/stat : 17660 (pbct) R 17658 17660 16083 0 -1 4202496 1750 0 0 0 123 26 0 0 25 0 1 0 133770642 8318976 1660 4089446400 134512640 136421960 4289667424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17660/statm: 2031 1660 236 467 0 1562 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8124 [startup+3.10094 s] /proc/loadavg: 1.98 1.98 1.99 3/179 17661 /proc/meminfo: memFree=31378496/32951124 swapFree=67111528/67111528 [pid=17660] ppid=17658 vsize=8124 CPUtime=3.09 /proc/17660/stat : 17660 (pbct) R 17658 17660 16083 0 -1 4202496 1755 0 0 0 258 51 0 0 25 0 1 0 133770642 8318976 1662 4089446400 134512640 136421960 4289667424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17660/statm: 2031 1662 236 467 0 1562 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8124 [startup+6.30033 s] /proc/loadavg: 1.98 1.98 1.99 3/179 17661 /proc/meminfo: memFree=31378360/32951124 swapFree=67111528/67111528 [pid=17660] ppid=17658 vsize=8124 CPUtime=6.3 /proc/17660/stat : 17660 (pbct) R 17658 17660 16083 0 -1 4202496 1758 0 0 0 525 105 0 0 25 0 1 0 133770642 8318976 1662 4089446400 134512640 136421960 4289667424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17660/statm: 2031 1662 236 467 0 1562 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 8124 [startup+12.7001 s] /proc/loadavg: 1.98 1.98 1.99 3/179 17661 /proc/meminfo: memFree=31378476/32951124 swapFree=67111528/67111528 [pid=17660] ppid=17658 vsize=8124 CPUtime=12.69 /proc/17660/stat : 17660 (pbct) R 17658 17660 16083 0 -1 4202496 1760 0 0 0 1069 200 0 0 25 0 1 0 133770642 8318976 1662 4089446400 134512640 136421960 4289667424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17660/statm: 2031 1662 236 467 0 1562 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8124 [startup+25.5007 s] /proc/loadavg: 1.99 1.98 1.99 3/179 17661 /proc/meminfo: memFree=31378752/32951124 swapFree=67111528/67111528 [pid=17660] ppid=17658 vsize=8124 CPUtime=25.49 /proc/17660/stat : 17660 (pbct) R 17658 17660 16083 0 -1 4202496 1762 0 0 0 2213 336 0 0 25 0 1 0 133770642 8318976 1662 4089446400 134512640 136421960 4289667424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17660/statm: 2031 1662 236 467 0 1562 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8124 [startup+51.1008 s] /proc/loadavg: 1.99 1.98 1.99 3/179 17662 /proc/meminfo: memFree=31378852/32951124 swapFree=67111528/67111528 [pid=17660] ppid=17658 vsize=8124 CPUtime=51.09 /proc/17660/stat : 17660 (pbct) R 17658 17660 16083 0 -1 4202496 1767 0 0 0 4619 490 0 0 25 0 1 0 133770642 8318976 1662 4089446400 134512640 136421960 4289667424 18446744073709551615 134861840 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17660/statm: 2031 1662 236 467 0 1562 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8124 [startup+102.306 s] /proc/loadavg: 1.99 1.98 1.99 3/179 17663 /proc/meminfo: memFree=31378452/32951124 swapFree=67111528/67111528 [pid=17660] ppid=17658 vsize=8124 CPUtime=102.3 /proc/17660/stat : 17660 (pbct) R 17658 17660 16083 0 -1 4202496 1772 0 0 0 9437 793 0 0 25 0 1 0 133770642 8318976 1667 4089446400 134512640 136421960 4289667424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17660/statm: 2031 1667 236 467 0 1562 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8124 Solver just ended. Dumping a history of the last processes samples [startup+127.9 s] /proc/loadavg: 1.99 1.98 1.99 3/179 17691 /proc/meminfo: memFree=31378980/32951124 swapFree=67111528/67111528 [pid=17660] ppid=17658 vsize=8124 CPUtime=127.9 /proc/17660/stat : 17660 (pbct) R 17658 17660 16083 0 -1 4202496 1772 0 0 0 11822 968 0 0 25 0 1 0 133770642 8318976 1667 4089446400 134512640 136421960 4289667424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17660/statm: 2031 1667 236 467 0 1562 0 Current children cumulated CPU time (s) 127.9 Current children cumulated vsize (KiB) 8124 [startup+140.701 s] /proc/loadavg: 1.99 1.98 1.99 3/179 17692 /proc/meminfo: memFree=31379112/32951124 swapFree=67111528/67111528 [pid=17660] ppid=17658 vsize=8124 CPUtime=140.7 /proc/17660/stat : 17660 (pbct) R 17658 17660 16083 0 -1 4202496 1772 0 0 0 13014 1056 0 0 25 0 1 0 133770642 8318976 1667 4089446400 134512640 136421960 4289667424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17660/statm: 2031 1667 236 467 0 1562 0 Current children cumulated CPU time (s) 140.7 Current children cumulated vsize (KiB) 8124 [startup+147.101 s] /proc/loadavg: 1.99 1.98 1.99 3/179 17692 /proc/meminfo: memFree=31379068/32951124 swapFree=67111528/67111528 [pid=17660] ppid=17658 vsize=8124 CPUtime=147.1 /proc/17660/stat : 17660 (pbct) R 17658 17660 16083 0 -1 4202496 1773 0 0 0 13608 1102 0 0 25 0 1 0 133770642 8318976 1668 4089446400 134512640 136421960 4289667424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17660/statm: 2031 1668 236 467 0 1562 0 Current children cumulated CPU time (s) 147.1 Current children cumulated vsize (KiB) 8124 [startup+153.5 s] /proc/loadavg: 1.99 1.98 1.99 3/179 17692 /proc/meminfo: memFree=31378692/32951124 swapFree=67111528/67111528 [pid=17660] ppid=17658 vsize=8252 CPUtime=153.5 /proc/17660/stat : 17660 (pbct) R 17658 17660 16083 0 -1 4202496 1779 0 0 0 14203 1147 0 0 25 0 1 0 133770642 8450048 1674 4089446400 134512640 136421960 4289667424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17660/statm: 2063 1674 236 467 0 1594 0 Current children cumulated CPU time (s) 153.5 Current children cumulated vsize (KiB) 8252 [startup+156.701 s] /proc/loadavg: 1.99 1.98 1.99 3/179 17692 /proc/meminfo: memFree=31378568/32951124 swapFree=67111528/67111528 [pid=17660] ppid=17658 vsize=8252 CPUtime=156.7 /proc/17660/stat : 17660 (pbct) R 17658 17660 16083 0 -1 4202496 1782 0 0 0 14501 1169 0 0 25 0 1 0 133770642 8450048 1677 4089446400 134512640 136421960 4289667424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17660/statm: 2063 1677 236 467 0 1594 0 Current children cumulated CPU time (s) 156.7 Current children cumulated vsize (KiB) 8252 [startup+157.501 s] /proc/loadavg: 1.99 1.98 1.99 3/179 17692 /proc/meminfo: memFree=31378568/32951124 swapFree=67111528/67111528 [pid=17660] ppid=17658 vsize=8252 CPUtime=157.5 /proc/17660/stat : 17660 (pbct) R 17658 17660 16083 0 -1 4202496 1782 0 0 0 14576 1174 0 0 25 0 1 0 133770642 8450048 1677 4089446400 134512640 136421960 4289667424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17660/statm: 2063 1677 236 467 0 1594 0 Current children cumulated CPU time (s) 157.5 Current children cumulated vsize (KiB) 8252 [startup+158.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 17692 /proc/meminfo: memFree=31378568/32951124 swapFree=67111528/67111528 [pid=17660] ppid=17658 vsize=8252 CPUtime=158.3 /proc/17660/stat : 17660 (pbct) R 17658 17660 16083 0 -1 4202496 1782 0 0 0 14650 1180 0 0 25 0 1 0 133770642 8450048 1677 4089446400 134512640 136421960 4289667424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17660/statm: 2063 1677 236 467 0 1594 0 Current children cumulated CPU time (s) 158.3 Current children cumulated vsize (KiB) 8252 [startup+158.7 s] /proc/loadavg: 1.99 1.98 1.99 3/179 17692 /proc/meminfo: memFree=31378568/32951124 swapFree=67111528/67111528 [pid=17660] ppid=17658 vsize=8252 CPUtime=158.7 /proc/17660/stat : 17660 (pbct) R 17658 17660 16083 0 -1 4202496 1782 0 0 0 14687 1183 0 0 25 0 1 0 133770642 8450048 1677 4089446400 134512640 136421960 4289667424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17660/statm: 2063 1677 236 467 0 1594 0 Current children cumulated CPU time (s) 158.7 Current children cumulated vsize (KiB) 8252 Child status: 0 Real time (s): 158.709 CPU time (s): 158.715 CPU user time (s): 146.885 CPU system time (s): 11.8302 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 8252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 146.885 system time used= 11.8302 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1787 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= 4 involuntary context switches= 256 runsolver used 0.232964 second user time and 0.495924 second system time The end
Begin job on node141 at 2010-06-30 21:05:54 IDJOB=2695685 IDBENCH=79249 IDSOLVER=1208 FILE ID=node141/2695685-1277924754 PBS_JOBID= 11197297 Free space on /tmp= 74208 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968561--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695685-1277924754/watcher-2695685-1277924754 -o /tmp/evaluation-result-2695685-1277924754/solver-2695685-1277924754 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695685-1277924754.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8d3a0dfad59028a8b475e3430d41a204 RANDOM SEED=577818639 node141.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.788 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.57 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.788 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.68 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.788 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.83 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.788 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.788 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.80 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.788 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.75 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.788 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.788 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: 32951124 kB MemFree: 31385100 kB Buffers: 208408 kB Cached: 1143920 kB SwapCached: 0 kB Active: 641380 kB Inactive: 781916 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31385100 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2188 kB Writeback: 0 kB AnonPages: 71328 kB Mapped: 15612 kB Slab: 80300 kB PageTables: 4888 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 216768 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= 74208 MiB End job on node141 at 2010-06-30 21:08:33