Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | Wrong Opt. | 271.418 | 271.405 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975965--soft-66-100-0.wbo |
MD5SUM | 2c30a8298656a46724ae4314cbfd6760 |
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 | 23 |
Best CPU time to get the best result obtained on this benchmark | 0.428934 |
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 | 42 |
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 | 1838 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 1837 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1171 |
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 42/29 clauses 17/13 units 0 0.00/0.00 c vars 169 0.29/0.30 c 0.270958 7.55859 710 3909 0.29/0.30 o 409 0.29/0.30 c 0.273958 7.6875 363 3950 0.29/0.30 o 385 0.39/0.44 c 0.402938 7.6875 678 5779 0.39/0.44 o 331 0.49/0.52 c 0.465929 7.6875 451 6911 0.49/0.52 o 279 2.70/2.73 c 2.43063 7.6875 940 32488 2.70/2.73 o 234 2.70/2.73 c 2.43263 7.6875 480 32612 2.70/2.73 o 220 2.70/2.73 c 2.43363 7.6875 481 32669 2.70/2.73 o 156 2.70/2.74 c 2.43463 7.6875 481 32707 2.70/2.74 o 124 5.19/5.23 c 4.66329 7.8125 806 63249 5.19/5.23 o 60 10.99/11.02 c 9.92749 7.92578 1356 129620 10.99/11.02 o 58 14.49/14.57 c 13.172 7.92578 583 173251 14.49/14.57 o 51 271.30/271.40 c 248.13 8.14062 1019 3190190 271.30/271.40 s OPTIMUM FOUND 271.30/271.40 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 51
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695321-1277896415/watcher-2695321-1277896415 -o /tmp/evaluation-result-2695321-1277896415/solver-2695321-1277896415 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695321-1277896415.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.08 2.03 4/178 13457 /proc/meminfo: memFree=31216776/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=3704 CPUtime=0 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 632 0 0 0 0 0 0 0 25 0 1 0 130936427 3792896 552 4089446400 134512640 136421960 4290416224 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 926 553 193 467 0 457 0 [startup+0.0297139 s] /proc/loadavg: 2.00 2.08 2.03 4/178 13457 /proc/meminfo: memFree=31216776/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=7476 CPUtime=0.02 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1577 0 0 0 2 0 0 0 25 0 1 0 130936427 7655424 1497 4089446400 134512640 136421960 4290416224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 1869 1497 213 467 0 1400 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 7476 [startup+0.100695 s] /proc/loadavg: 2.00 2.08 2.03 4/178 13457 /proc/meminfo: memFree=31216776/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=7604 CPUtime=0.09 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1602 0 0 0 9 0 0 0 25 0 1 0 130936427 7786496 1522 4089446400 134512640 136421960 4290416224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 1901 1522 213 467 0 1432 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7604 [startup+0.300654 s] /proc/loadavg: 2.00 2.08 2.03 4/178 13457 /proc/meminfo: memFree=31216776/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=7736 CPUtime=0.29 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1635 0 0 0 26 3 0 0 25 0 1 0 130936427 7921664 1555 4089446400 134512640 136421960 4290416224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 1934 1555 213 467 0 1465 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7736 [startup+0.700582 s] /proc/loadavg: 2.00 2.08 2.03 4/178 13457 /proc/meminfo: memFree=31216776/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=7868 CPUtime=0.69 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1682 0 0 0 62 7 0 0 18 0 1 0 130936427 8056832 1598 4089446400 134512640 136421960 4290416224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 1967 1598 236 467 0 1498 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7868 [startup+1.50042 s] /proc/loadavg: 2.00 2.08 2.03 3/179 13458 /proc/meminfo: memFree=31210568/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=7868 CPUtime=1.49 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1682 0 0 0 133 16 0 0 19 0 1 0 130936427 8056832 1598 4089446400 134512640 136421960 4290416224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 1967 1598 236 467 0 1498 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7868 [startup+3.1011 s] /proc/loadavg: 2.00 2.08 2.03 3/179 13458 /proc/meminfo: memFree=31209948/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=7868 CPUtime=3.09 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1703 0 0 0 276 33 0 0 18 0 1 0 130936427 8056832 1615 4089446400 134512640 136421960 4290416224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 1967 1615 236 467 0 1498 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7868 [startup+6.30046 s] /proc/loadavg: 2.00 2.07 2.03 3/179 13458 /proc/meminfo: memFree=31205248/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=7996 CPUtime=6.29 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1726 0 0 0 562 67 0 0 25 0 1 0 130936427 8187904 1637 4089446400 134512640 136421960 4290416224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 1999 1637 236 467 0 1530 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7996 [startup+12.7002 s] /proc/loadavg: 2.00 2.07 2.03 3/179 13458 /proc/meminfo: memFree=31192876/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=8112 CPUtime=12.69 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1744 0 0 0 1146 123 0 0 25 0 1 0 130936427 8306688 1654 4089446400 134512640 136421960 4290416224 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 2028 1654 236 467 0 1559 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8112 [startup+25.5006 s] /proc/loadavg: 2.00 2.07 2.03 3/179 13459 /proc/meminfo: memFree=31179940/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=8112 CPUtime=25.49 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1745 0 0 0 2312 237 0 0 25 0 1 0 130936427 8306688 1654 4089446400 134512640 136421960 4290416224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 2028 1654 236 467 0 1559 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8112 [startup+51.1005 s] /proc/loadavg: 2.00 2.06 2.03 3/179 13460 /proc/meminfo: memFree=31177272/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=8112 CPUtime=51.09 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1751 0 0 0 4632 477 0 0 25 0 1 0 130936427 8306688 1660 4089446400 134512640 136421960 4290416224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 2028 1660 236 467 0 1559 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8112 [startup+102.306 s] /proc/loadavg: 2.00 2.05 2.02 3/179 13461 /proc/meminfo: memFree=31166804/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=8204 CPUtime=102.3 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1777 0 0 0 9315 915 0 0 25 0 1 0 130936427 8400896 1686 4089446400 134512640 136421960 4290416224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 2051 1686 236 467 0 1582 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8204 [startup+162.3 s] /proc/loadavg: 2.00 2.04 2.02 3/179 13462 /proc/meminfo: memFree=31089996/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=8332 CPUtime=162.29 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1799 0 0 0 14804 1425 0 0 25 0 1 0 130936427 8531968 1708 4089446400 134512640 136421960 4290416224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 2083 1708 236 467 0 1614 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 8332 [startup+222.3 s] /proc/loadavg: 2.00 2.03 2.01 3/179 13464 /proc/meminfo: memFree=31052244/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=8332 CPUtime=222.3 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1806 0 0 0 20303 1927 0 0 25 0 1 0 130936427 8531968 1715 4089446400 134512640 136421960 4290416224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 2083 1715 236 467 0 1614 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 8332 Solver just ended. Dumping a history of the last processes samples [startup+230.301 s] /proc/loadavg: 2.00 2.03 2.01 3/179 13464 /proc/meminfo: memFree=31036976/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=8332 CPUtime=230.3 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1806 0 0 0 21039 1991 0 0 25 0 1 0 130936427 8531968 1715 4089446400 134512640 136421960 4290416224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 2083 1715 236 467 0 1614 0 Current children cumulated CPU time (s) 230.3 Current children cumulated vsize (KiB) 8332 [startup+255.901 s] /proc/loadavg: 2.00 2.02 2.01 3/179 13465 /proc/meminfo: memFree=31011292/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=8332 CPUtime=255.9 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1822 0 0 0 23385 2205 0 0 25 0 1 0 130936427 8531968 1731 4089446400 134512640 136421960 4290416224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 2083 1731 236 467 0 1614 0 Current children cumulated CPU time (s) 255.9 Current children cumulated vsize (KiB) 8332 [startup+262.3 s] /proc/loadavg: 2.00 2.02 2.01 3/179 13466 /proc/meminfo: memFree=31002980/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=8332 CPUtime=262.31 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1822 0 0 0 23972 2259 0 0 25 0 1 0 130936427 8531968 1731 4089446400 134512640 136421960 4290416224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 2083 1731 236 467 0 1614 0 Current children cumulated CPU time (s) 262.31 Current children cumulated vsize (KiB) 8332 [startup+265.501 s] /proc/loadavg: 2.00 2.02 2.01 3/179 13466 /proc/meminfo: memFree=30996904/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=8332 CPUtime=265.5 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1822 0 0 0 24266 2284 0 0 25 0 1 0 130936427 8531968 1731 4089446400 134512640 136421960 4290416224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 2083 1731 236 467 0 1614 0 Current children cumulated CPU time (s) 265.5 Current children cumulated vsize (KiB) 8332 [startup+268.701 s] /proc/loadavg: 2.00 2.02 2.01 3/179 13466 /proc/meminfo: memFree=30994792/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=8332 CPUtime=268.7 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1822 0 0 0 24562 2308 0 0 25 0 1 0 130936427 8531968 1731 4089446400 134512640 136421960 4290416224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 2083 1731 236 467 0 1614 0 Current children cumulated CPU time (s) 268.7 Current children cumulated vsize (KiB) 8332 [startup+270.301 s] /proc/loadavg: 2.00 2.02 2.01 3/179 13466 /proc/meminfo: memFree=30994420/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=8332 CPUtime=270.31 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1822 0 0 0 24712 2319 0 0 25 0 1 0 130936427 8531968 1731 4089446400 134512640 136421960 4290416224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 2083 1731 236 467 0 1614 0 Current children cumulated CPU time (s) 270.31 Current children cumulated vsize (KiB) 8332 [startup+271.101 s] /proc/loadavg: 2.00 2.02 2.01 3/179 13466 /proc/meminfo: memFree=30993924/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=8332 CPUtime=271.11 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1822 0 0 0 24785 2326 0 0 25 0 1 0 130936427 8531968 1731 4089446400 134512640 136421960 4290416224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 2083 1731 236 467 0 1614 0 Current children cumulated CPU time (s) 271.11 Current children cumulated vsize (KiB) 8332 [startup+271.3 s] /proc/loadavg: 2.00 2.02 2.01 3/179 13466 /proc/meminfo: memFree=30993924/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=8332 CPUtime=271.3 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1822 0 0 0 24803 2327 0 0 25 0 1 0 130936427 8531968 1731 4089446400 134512640 136421960 4290416224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 2083 1731 236 467 0 1614 0 Current children cumulated CPU time (s) 271.3 Current children cumulated vsize (KiB) 8332 [startup+271.4 s] /proc/loadavg: 2.00 2.02 2.01 3/179 13466 /proc/meminfo: memFree=30993924/32950928 swapFree=67111528/67111528 [pid=13457] ppid=13455 vsize=7812 CPUtime=271.41 /proc/13457/stat : 13457 (pbct) R 13455 13457 11713 0 -1 4202496 1826 0 0 0 24813 2328 0 0 25 0 1 0 130936427 7999488 1604 4089446400 134512640 136421960 4290416224 18446744073709551615 135818225 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13457/statm: 1953 1604 239 467 0 1484 0 Current children cumulated CPU time (s) 271.41 Current children cumulated vsize (KiB) 7812 Child status: 0 Real time (s): 271.405 CPU time (s): 271.418 CPU user time (s): 248.135 CPU system time (s): 23.2825 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 8332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 248.135 system time used= 23.2825 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1827 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= 1087 runsolver used 0.345947 second user time and 0.891864 second system time The end
Begin job on node149 at 2010-06-30 13:13:35 IDJOB=2695321 IDBENCH=78782 IDSOLVER=1208 FILE ID=node149/2695321-1277896415 PBS_JOBID= 11197055 Free space on /tmp= 74208 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110975965--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695321-1277896415/watcher-2695321-1277896415 -o /tmp/evaluation-result-2695321-1277896415/solver-2695321-1277896415 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695321-1277896415.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2c30a8298656a46724ae4314cbfd6760 RANDOM SEED=1876449616 node149.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.831 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.66 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.831 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.15 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.831 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.831 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.831 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.82 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.831 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.68 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.831 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.831 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: 31217296 kB Buffers: 185228 kB Cached: 1267896 kB SwapCached: 0 kB Active: 579520 kB Inactive: 1008748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31217296 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1960 kB Writeback: 0 kB AnonPages: 135068 kB Mapped: 16112 kB Slab: 81604 kB PageTables: 5232 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 276496 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 node149 at 2010-06-30 13:18:07