Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 220.07 | 220.063 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-66-100-0.wbo |
MD5SUM | 3199d968dfdc76b1f122b376f1cc0c5d |
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 | 39 |
Best CPU time to get the best result obtained on this benchmark | 0.221965 |
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 | 1230 |
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 42/29 clauses 17/13 units 0 0.00/0.00 c vars 169 0.02/0.07 c 0.05999 7.37109 444 1001 0.02/0.07 o 378 0.02/0.07 c 0.06099 7.53516 444 1014 0.02/0.07 o 375 0.02/0.08 c 0.06099 7.53516 447 1034 0.02/0.08 o 373 0.02/0.08 c 0.06199 7.53516 448 1091 0.02/0.08 o 235 0.29/0.32 c 0.241963 7.66016 783 4791 0.29/0.32 o 204 0.39/0.49 c 0.356945 7.66016 653 7337 0.39/0.49 o 183 0.49/0.50 c 0.363944 7.66016 398 7513 0.49/0.50 o 172 0.49/0.52 c 0.380942 7.66016 626 7890 0.49/0.52 o 135 0.59/0.65 c 0.471928 7.66016 416 9886 0.59/0.65 o 131 20.39/20.46 c 14.2638 8.03516 951 252927 20.39/20.46 o 129 24.20/24.24 c 16.8714 8.03516 821 300096 24.20/24.24 o 104 52.39/52.49 c 36.4385 8.03516 1018 652460 52.39/52.49 o 99 57.10/57.11 c 39.661 8.03516 792 710739 57.10/57.11 o 92 102.60/102.64 c 71.3701 8.14453 681 1280503 102.60/102.64 o 87 102.80/102.81 c 71.4921 8.14453 813 1282926 102.80/102.81 o 79 128.10/128.20 c 89.6014 8.14453 568 1614334 128.10/128.20 o 39 220.01/220.05 c 157.613 8.25781 430 2849878 220.01/220.05 s OPTIMUM FOUND 220.01/220.05 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 39
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699157-1278459399/watcher-2699157-1278459399 -o /tmp/evaluation-result-2699157-1278459399/solver-2699157-1278459399 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699157-1278459399.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.96 1.95 1.70 4/178 12565 /proc/meminfo: memFree=28933988/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=3704 CPUtime=0 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 645 0 0 0 0 0 0 0 25 0 1 0 14154756 3792896 564 4089446400 134512640 136422188 4288394128 18446744073709551615 134632584 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 926 565 193 467 0 457 0 [startup+0.0221801 s] /proc/loadavg: 1.96 1.95 1.70 4/178 12565 /proc/meminfo: memFree=28933988/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=7280 CPUtime=0.02 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 1491 0 0 0 2 0 0 0 25 0 1 0 14154756 7454720 1410 4089446400 134512640 136422188 4288394128 18446744073709551615 134588000 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 1820 1413 203 467 0 1351 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 7280 [startup+0.101124 s] /proc/loadavg: 1.96 1.95 1.70 4/178 12565 /proc/meminfo: memFree=28933988/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=7712 CPUtime=0.09 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 1641 0 0 0 7 2 0 0 25 0 1 0 14154756 7897088 1556 4089446400 134512640 136422188 4288394128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 1928 1556 236 467 0 1459 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7712 [startup+0.301143 s] /proc/loadavg: 1.96 1.95 1.70 4/178 12565 /proc/meminfo: memFree=28933988/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=7840 CPUtime=0.29 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 1664 0 0 0 22 7 0 0 25 0 1 0 14154756 8028160 1579 4089446400 134512640 136422188 4288394128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 1960 1579 236 467 0 1491 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7840 [startup+0.701055 s] /proc/loadavg: 1.96 1.95 1.70 4/178 12565 /proc/meminfo: memFree=28933988/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=7840 CPUtime=0.69 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 1682 0 0 0 50 19 0 0 25 0 1 0 14154756 8028160 1592 4089446400 134512640 136422188 4288394128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 1960 1592 236 467 0 1491 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7840 [startup+1.50092 s] /proc/loadavg: 1.96 1.95 1.70 3/179 12593 /proc/meminfo: memFree=28928636/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=7968 CPUtime=1.49 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 1710 0 0 0 107 42 0 0 25 0 1 0 14154756 8159232 1620 4089446400 134512640 136422188 4288394128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 1992 1620 236 467 0 1523 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7968 [startup+3.10064 s] /proc/loadavg: 1.97 1.95 1.71 3/179 12593 /proc/meminfo: memFree=28927892/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=7968 CPUtime=3.09 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 1718 0 0 0 214 95 0 0 25 0 1 0 14154756 8159232 1628 4089446400 134512640 136422188 4288394128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 1992 1628 236 467 0 1523 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7968 [startup+6.30105 s] /proc/loadavg: 1.97 1.95 1.71 3/179 12594 /proc/meminfo: memFree=28927996/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=8096 CPUtime=6.29 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 1745 0 0 0 436 193 0 0 25 0 1 0 14154756 8290304 1655 4089446400 134512640 136422188 4288394128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 2024 1655 236 467 0 1555 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8096 [startup+12.7009 s] /proc/loadavg: 1.97 1.95 1.71 3/179 12594 /proc/meminfo: memFree=28927524/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=8096 CPUtime=12.7 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 1755 0 0 0 881 389 0 0 25 0 1 0 14154756 8290304 1665 4089446400 134512640 136422188 4288394128 18446744073709551615 134902761 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 2024 1665 236 467 0 1555 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 8096 [startup+25.5005 s] /proc/loadavg: 1.98 1.95 1.71 3/179 12594 /proc/meminfo: memFree=28927996/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=8224 CPUtime=25.49 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 1790 0 0 0 1774 775 0 0 25 0 1 0 14154756 8421376 1698 4089446400 134512640 136422188 4288394128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 2056 1698 236 467 0 1587 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8224 [startup+51.1009 s] /proc/loadavg: 1.98 1.96 1.72 2/174 12612 /proc/meminfo: memFree=28936548/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=8224 CPUtime=51.1 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 1790 0 0 0 3548 1562 0 0 25 0 1 0 14154756 8421376 1698 4089446400 134512640 136422188 4288394128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 2056 1698 236 467 0 1587 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 8224 [startup+102.306 s] /proc/loadavg: 1.99 1.96 1.73 3/179 12623 /proc/meminfo: memFree=28927592/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=8336 CPUtime=102.3 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 1814 0 0 0 7114 3116 0 0 25 0 1 0 14154756 8536064 1720 4089446400 134512640 136422188 4288394128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 2084 1720 236 467 0 1615 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8336 [startup+162.301 s] /proc/loadavg: 1.99 1.97 1.75 3/179 12625 /proc/meminfo: memFree=28927156/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=8452 CPUtime=162.3 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 1828 0 0 0 11487 4743 0 0 25 0 1 0 14154756 8654848 1731 4089446400 134512640 136422188 4288394128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 2113 1731 236 467 0 1644 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 8452 Solver just ended. Dumping a history of the last processes samples [startup+179.1 s] /proc/loadavg: 1.99 1.97 1.75 3/179 12652 /proc/meminfo: memFree=28927592/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=8452 CPUtime=179.1 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 1833 0 0 0 12726 5184 0 0 25 0 1 0 14154756 8654848 1736 4089446400 134512640 136422188 4288394128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 2113 1736 236 467 0 1644 0 Current children cumulated CPU time (s) 179.1 Current children cumulated vsize (KiB) 8452 [startup+204.701 s] /proc/loadavg: 1.99 1.97 1.75 3/179 12653 /proc/meminfo: memFree=28927704/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=8452 CPUtime=204.7 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 1835 0 0 0 14627 5843 0 0 25 0 1 0 14154756 8654848 1738 4089446400 134512640 136422188 4288394128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 2113 1738 236 467 0 1644 0 Current children cumulated CPU time (s) 204.7 Current children cumulated vsize (KiB) 8452 [startup+211.101 s] /proc/loadavg: 1.99 1.97 1.75 3/179 12653 /proc/meminfo: memFree=28927800/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=8452 CPUtime=211.11 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 1835 0 0 0 15100 6011 0 0 25 0 1 0 14154756 8654848 1738 4089446400 134512640 136422188 4288394128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 2113 1738 236 467 0 1644 0 Current children cumulated CPU time (s) 211.11 Current children cumulated vsize (KiB) 8452 [startup+214.301 s] /proc/loadavg: 1.99 1.97 1.75 3/179 12653 /proc/meminfo: memFree=28927800/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=8452 CPUtime=214.3 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 1835 0 0 0 15330 6100 0 0 25 0 1 0 14154756 8654848 1738 4089446400 134512640 136422188 4288394128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 2113 1738 236 467 0 1644 0 Current children cumulated CPU time (s) 214.3 Current children cumulated vsize (KiB) 8452 [startup+217.5 s] /proc/loadavg: 1.99 1.97 1.76 3/179 12653 /proc/meminfo: memFree=28927800/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=8452 CPUtime=217.5 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 1835 0 0 0 15570 6180 0 0 25 0 1 0 14154756 8654848 1738 4089446400 134512640 136422188 4288394128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 2113 1738 236 467 0 1644 0 Current children cumulated CPU time (s) 217.5 Current children cumulated vsize (KiB) 8452 [startup+219.101 s] /proc/loadavg: 1.99 1.97 1.76 3/179 12653 /proc/meminfo: memFree=28927800/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=8452 CPUtime=219.1 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 1835 0 0 0 15690 6220 0 0 25 0 1 0 14154756 8654848 1738 4089446400 134512640 136422188 4288394128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 2113 1738 236 467 0 1644 0 Current children cumulated CPU time (s) 219.1 Current children cumulated vsize (KiB) 8452 [startup+219.501 s] /proc/loadavg: 1.99 1.97 1.76 3/179 12653 /proc/meminfo: memFree=28927800/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=8452 CPUtime=219.5 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 1835 0 0 0 15720 6230 0 0 25 0 1 0 14154756 8654848 1738 4089446400 134512640 136422188 4288394128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 2113 1738 236 467 0 1644 0 Current children cumulated CPU time (s) 219.5 Current children cumulated vsize (KiB) 8452 [startup+219.901 s] /proc/loadavg: 1.99 1.97 1.76 3/179 12653 /proc/meminfo: memFree=28927800/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=8452 CPUtime=219.9 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 1835 0 0 0 15750 6240 0 0 25 0 1 0 14154756 8654848 1738 4089446400 134512640 136422188 4288394128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 2113 1738 236 467 0 1644 0 Current children cumulated CPU time (s) 219.9 Current children cumulated vsize (KiB) 8452 [startup+220.006 s] /proc/loadavg: 1.99 1.97 1.76 3/179 12653 /proc/meminfo: memFree=28927800/32951124 swapFree=67111528/67111528 [pid=12565] ppid=12563 vsize=8452 CPUtime=220.01 /proc/12565/stat : 12565 (pbct) R 12563 12565 12336 0 -1 4202496 1835 0 0 0 15758 6243 0 0 25 0 1 0 14154756 8654848 1738 4089446400 134512640 136422188 4288394128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12565/statm: 2113 1738 236 467 0 1644 0 Current children cumulated CPU time (s) 220.01 Current children cumulated vsize (KiB) 8452 Child status: 0 Real time (s): 220.063 CPU time (s): 220.07 CPU user time (s): 157.617 CPU system time (s): 62.4525 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 8464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 157.617 system time used= 62.4525 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1840 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= 323 runsolver used 0.318951 second user time and 0.687895 second system time The end
Begin job on node110 at 2010-07-07 01:36:39 IDJOB=2699157 IDBENCH=78810 IDSOLVER=1212 FILE ID=node110/2699157-1278459399 PBS_JOBID= 11233773 Free space on /tmp= 73724 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223220--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699157-1278459399/watcher-2699157-1278459399 -o /tmp/evaluation-result-2699157-1278459399/solver-2699157-1278459399 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699157-1278459399.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3199d968dfdc76b1f122b376f1cc0c5d RANDOM SEED=520391334 node110.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.801 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.60 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.801 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.83 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.801 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.801 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.82 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.801 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.801 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.801 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.75 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.801 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 : 5347.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28934516 kB Buffers: 101740 kB Cached: 3702844 kB SwapCached: 0 kB Active: 1763820 kB Inactive: 2110052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28934516 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1968 kB Writeback: 0 kB AnonPages: 69528 kB Mapped: 15612 kB Slab: 78524 kB PageTables: 4824 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 209352 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= 73724 MiB End job on node110 at 2010-07-07 01:40:20