Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 56.2474 | 56.2455 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019--soft-0-100-0.wbo |
MD5SUM | e73465a328717b1b804a610f4d9de315 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.185971 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 101 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 5034 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 5033 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1259 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 0/71 clauses 0/30 units 0 0.00/0.00 c vars 169 0.00/0.04 c 0.040993 7.56641 105 883 0.00/0.04 o 750 0.00/0.05 c 0.041993 7.75 115 931 0.00/0.05 o 738 0.00/0.05 c 0.042993 7.75 118 1000 0.00/0.05 o 704 0.00/0.05 c 0.043993 7.75 121 1181 0.00/0.05 o 581 0.00/0.05 c 0.046992 7.75 142 1222 0.00/0.05 o 579 0.00/0.06 c 0.055991 7.75 239 1635 0.00/0.06 o 543 0.00/0.06 c 0.05999 7.75 264 1770 0.00/0.06 o 493 0.00/0.07 c 0.05999 7.75 267 1818 0.00/0.07 o 486 0.00/0.07 c 0.06099 7.75 271 1905 0.00/0.07 o 439 0.19/0.21 c 0.183972 8.00391 868 4398 0.19/0.21 o 435 0.19/0.24 c 0.203968 8.00391 360 4821 0.19/0.24 o 417 0.19/0.24 c 0.204968 8.00391 367 4843 0.19/0.24 o 413 0.29/0.34 c 0.281957 8.00391 523 6618 0.29/0.34 o 408 0.29/0.34 c 0.285956 8.00391 568 7280 0.29/0.34 o 393 0.29/0.34 c 0.287956 8.00391 576 7481 0.29/0.34 o 338 0.39/0.42 c 0.354946 8.00391 831 8760 0.39/0.42 o 323 0.39/0.43 c 0.363944 8.00391 500 8932 0.39/0.43 o 321 0.39/0.49 c 0.405938 8.00391 579 9904 0.39/0.49 o 319 0.39/0.49 c 0.406938 8.00391 591 9951 0.39/0.49 o 313 0.89/0.94 c 0.776881 8.00391 610 15796 0.89/0.94 o 310 0.89/0.94 c 0.780881 8.00391 629 15867 0.89/0.94 o 295 1.00/1.04 c 0.861868 8.00391 561 17083 1.00/1.04 o 281 1.39/1.47 c 1.22681 8.00391 1046 22512 1.39/1.47 o 270 4.59/4.67 c 3.89241 8.12891 956 62036 4.59/4.67 o 268 5.09/5.11 c 4.26535 8.12891 670 67473 5.09/5.11 o 258 5.09/5.16 c 4.31034 8.12891 646 68163 5.09/5.16 o 257 5.09/5.17 c 4.31434 8.12891 355 68304 5.09/5.17 o 208 5.09/5.17 c 4.31734 8.12891 369 68378 5.09/5.17 o 177 5.59/5.62 c 4.70129 8.12891 418 73194 5.59/5.62 o 171 6.89/6.97 c 5.84011 8.12891 438 87149 6.89/6.97 o 161 6.99/7.05 c 5.9071 8.12891 589 88209 6.99/7.05 o 151 6.99/7.05 c 5.9091 8.12891 601 88252 6.99/7.05 o 150 6.99/7.05 c 5.9121 8.12891 614 88337 6.99/7.05 o 123 7.29/7.35 c 6.17206 8.12891 556 91670 7.29/7.35 o 115 7.59/7.67 c 6.45502 8.12891 573 94950 7.59/7.67 o 114 7.99/8.06 c 6.77397 8.12891 714 99166 7.99/8.06 o 99 9.39/9.49 c 7.98778 8.12891 515 113986 9.39/9.49 o 73 11.29/11.34 c 9.59054 8.37891 1143 134972 11.29/11.34 o 72 11.59/11.63 c 9.8385 8.37891 772 138262 11.59/11.63 o 60 12.70/12.76 c 10.8274 8.37891 753 151456 12.70/12.76 o 58 12.70/12.76 c 10.8314 8.37891 396 151570 12.70/12.76 o 54 12.70/12.76 c 10.8334 8.37891 403 151645 12.70/12.76 o 53 13.70/13.70 c 11.6512 8.37891 787 161557 13.70/13.70 o 46 14.29/14.33 c 12.2101 8.37891 585 168881 14.29/14.33 o 40 14.29/14.35 c 12.2311 8.37891 755 169271 14.29/14.35 o 29 14.29/14.36 c 12.2411 8.37891 450 169417 14.29/14.36 o 18 14.39/14.40 c 12.2741 8.37891 734 169855 14.39/14.40 o 11 14.39/14.47 c 12.3471 8.37891 941 170792 14.39/14.47 o 8 16.09/16.10 c 13.8139 8.37891 1097 191115 16.09/16.10 o 4 17.19/17.28 c 14.8547 8.37891 624 204195 17.19/17.28 o 2 56.19/56.24 c 50.3253 8.5 1097 668641 56.19/56.24 s OPTIMUM FOUND 56.19/56.24 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 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699422-1278464348/watcher-2699422-1278464348 -o /tmp/evaluation-result-2699422-1278464348/solver-2699422-1278464348 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699422-1278464348.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.00 1.99 4/182 13771 /proc/meminfo: memFree=28918984/32951124 swapFree=67111528/67111528 [pid=13771] ppid=13769 vsize=3840 CPUtime=0 /proc/13771/stat : 13771 (pbct) R 13769 13771 13108 0 -1 4202496 669 0 0 0 0 0 0 0 25 0 1 0 14647542 3932160 589 4089446400 134512640 136422188 4291919760 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13771/statm: 960 591 193 467 0 491 0 [startup+0.076214 s] /proc/loadavg: 2.00 2.00 1.99 4/182 13771 /proc/meminfo: memFree=28918984/32951124 swapFree=67111528/67111528 [pid=13771] ppid=13769 vsize=7932 CPUtime=0.07 /proc/13771/stat : 13771 (pbct) R 13769 13771 13108 0 -1 4202496 1704 0 0 0 6 1 0 0 25 0 1 0 14647542 8122368 1615 4089446400 134512640 136422188 4291919760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13771/statm: 1983 1615 236 467 0 1514 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 7932 [startup+0.100221 s] /proc/loadavg: 2.00 2.00 1.99 4/182 13771 /proc/meminfo: memFree=28918984/32951124 swapFree=67111528/67111528 [pid=13771] ppid=13769 vsize=8064 CPUtime=0.09 /proc/13771/stat : 13771 (pbct) R 13769 13771 13108 0 -1 4202496 1718 0 0 0 8 1 0 0 25 0 1 0 14647542 8257536 1629 4089446400 134512640 136422188 4291919760 18446744073709551615 135025965 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13771/statm: 2016 1629 236 467 0 1547 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8064 [startup+0.300178 s] /proc/loadavg: 2.00 2.00 1.99 4/182 13771 /proc/meminfo: memFree=28918984/32951124 swapFree=67111528/67111528 [pid=13771] ppid=13769 vsize=8192 CPUtime=0.29 /proc/13771/stat : 13771 (pbct) R 13769 13771 13108 0 -1 4202496 1754 0 0 0 24 5 0 0 25 0 1 0 14647542 8388608 1662 4089446400 134512640 136422188 4291919760 18446744073709551615 135020714 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13771/statm: 2048 1662 236 467 0 1579 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8192 [startup+0.7011 s] /proc/loadavg: 2.00 2.00 1.99 4/182 13771 /proc/meminfo: memFree=28918984/32951124 swapFree=67111528/67111528 [pid=13771] ppid=13769 vsize=8192 CPUtime=0.69 /proc/13771/stat : 13771 (pbct) R 13769 13771 13108 0 -1 4202496 1761 0 0 0 57 12 0 0 25 0 1 0 14647542 8388608 1662 4089446400 134512640 136422188 4291919760 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13771/statm: 2048 1662 236 467 0 1579 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8192 [startup+1.50096 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13772 /proc/meminfo: memFree=28913404/32951124 swapFree=67111528/67111528 [pid=13771] ppid=13769 vsize=8192 CPUtime=1.49 /proc/13771/stat : 13771 (pbct) R 13769 13771 13108 0 -1 4202496 1786 0 0 0 124 25 0 0 25 0 1 0 14647542 8388608 1683 4089446400 134512640 136422188 4291919760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13771/statm: 2048 1683 236 467 0 1579 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8192 [startup+3.10066 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13772 /proc/meminfo: memFree=28913404/32951124 swapFree=67111528/67111528 [pid=13771] ppid=13769 vsize=8192 CPUtime=3.09 /proc/13771/stat : 13771 (pbct) R 13769 13771 13108 0 -1 4202496 1795 0 0 0 257 52 0 0 25 0 1 0 14647542 8388608 1692 4089446400 134512640 136422188 4291919760 18446744073709551615 134865572 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13771/statm: 2048 1692 236 467 0 1579 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8192 [startup+6.30108 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13772 /proc/meminfo: memFree=28913304/32951124 swapFree=67111528/67111528 [pid=13771] ppid=13769 vsize=8320 CPUtime=6.29 /proc/13771/stat : 13771 (pbct) R 13769 13771 13108 0 -1 4202496 1813 0 0 0 527 102 0 0 25 0 1 0 14647542 8519680 1704 4089446400 134512640 136422188 4291919760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13771/statm: 2080 1704 236 467 0 1611 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8320 [startup+12.7009 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13772 /proc/meminfo: memFree=28912832/32951124 swapFree=67111528/67111528 [pid=13771] ppid=13769 vsize=8576 CPUtime=12.7 /proc/13771/stat : 13771 (pbct) R 13769 13771 13108 0 -1 4202496 1896 0 0 0 1077 193 0 0 25 0 1 0 14647542 8781824 1777 4089446400 134512640 136422188 4291919760 18446744073709551615 135029200 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13771/statm: 2144 1777 236 467 0 1675 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 8576 [startup+25.5006 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13773 /proc/meminfo: memFree=28913356/32951124 swapFree=67111528/67111528 [pid=13771] ppid=13769 vsize=8576 CPUtime=25.49 /proc/13771/stat : 13771 (pbct) R 13769 13771 13108 0 -1 4202496 1912 0 0 0 2236 313 0 0 25 0 1 0 14647542 8781824 1782 4089446400 134512640 136422188 4291919760 18446744073709551615 134620393 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13771/statm: 2144 1782 236 467 0 1675 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8576 [startup+51.1009 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13773 /proc/meminfo: memFree=28906604/32951124 swapFree=67111528/67111528 [pid=13771] ppid=13769 vsize=8700 CPUtime=51.09 /proc/13771/stat : 13771 (pbct) R 13769 13771 13108 0 -1 4202496 1938 0 0 0 4566 543 0 0 25 0 1 0 14647542 8908800 1808 4089446400 134512640 136422188 4291919760 18446744073709551615 135011328 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13771/statm: 2175 1808 236 467 0 1706 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8700 Solver just ended. Dumping a history of the last processes samples [startup+54.3004 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13773 /proc/meminfo: memFree=28904000/32951124 swapFree=67111528/67111528 [pid=13771] ppid=13769 vsize=8700 CPUtime=54.29 /proc/13771/stat : 13771 (pbct) R 13769 13771 13108 0 -1 4202496 1941 0 0 0 4856 573 0 0 25 0 1 0 14647542 8908800 1811 4089446400 134512640 136422188 4291919760 18446744073709551615 134974246 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13771/statm: 2175 1811 236 467 0 1706 0 Current children cumulated CPU time (s) 54.29 Current children cumulated vsize (KiB) 8700 [startup+55.1002 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13773 /proc/meminfo: memFree=28903132/32951124 swapFree=67111528/67111528 [pid=13771] ppid=13769 vsize=8700 CPUtime=55.09 /proc/13771/stat : 13771 (pbct) R 13769 13771 13108 0 -1 4202496 1941 0 0 0 4929 580 0 0 25 0 1 0 14647542 8908800 1811 4089446400 134512640 136422188 4291919760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13771/statm: 2175 1811 236 467 0 1706 0 Current children cumulated CPU time (s) 55.09 Current children cumulated vsize (KiB) 8700 [startup+55.9011 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13773 /proc/meminfo: memFree=28903132/32951124 swapFree=67111528/67111528 [pid=13771] ppid=13769 vsize=8700 CPUtime=55.89 /proc/13771/stat : 13771 (pbct) R 13769 13771 13108 0 -1 4202496 1941 0 0 0 5002 587 0 0 25 0 1 0 14647542 8908800 1811 4089446400 134512640 136422188 4291919760 18446744073709551615 134863834 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13771/statm: 2175 1811 236 467 0 1706 0 Current children cumulated CPU time (s) 55.89 Current children cumulated vsize (KiB) 8700 [startup+56.106 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13773 /proc/meminfo: memFree=28902140/32951124 swapFree=67111528/67111528 [pid=13771] ppid=13769 vsize=8700 CPUtime=56.1 /proc/13771/stat : 13771 (pbct) R 13769 13771 13108 0 -1 4202496 1944 0 0 0 5021 589 0 0 25 0 1 0 14647542 8908800 1814 4089446400 134512640 136422188 4291919760 18446744073709551615 134597869 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13771/statm: 2175 1814 236 467 0 1706 0 Current children cumulated CPU time (s) 56.1 Current children cumulated vsize (KiB) 8700 [startup+56.201 s] /proc/loadavg: 2.00 2.00 1.99 3/183 13773 /proc/meminfo: memFree=28902140/32951124 swapFree=67111528/67111528 [pid=13771] ppid=13769 vsize=8700 CPUtime=56.19 /proc/13771/stat : 13771 (pbct) R 13769 13771 13108 0 -1 4202496 1944 0 0 0 5029 590 0 0 25 0 1 0 14647542 8908800 1814 4089446400 134512640 136422188 4291919760 18446744073709551615 134864033 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13771/statm: 2175 1814 236 467 0 1706 0 Current children cumulated CPU time (s) 56.19 Current children cumulated vsize (KiB) 8700 Child status: 0 Real time (s): 56.2455 CPU time (s): 56.2474 CPU user time (s): 50.3303 CPU system time (s): 5.9171 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 8704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 50.3303 system time used= 5.9171 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1949 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= 154 runsolver used 0.065989 second user time and 0.201969 second system time The end
Begin job on node133 at 2010-07-07 02:59:08 IDJOB=2699422 IDBENCH=79227 IDSOLVER=1212 FILE ID=node133/2699422-1278464348 PBS_JOBID= 11233726 Free space on /tmp= 73800 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111220019--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699422-1278464348/watcher-2699422-1278464348 -o /tmp/evaluation-result-2699422-1278464348/solver-2699422-1278464348 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699422-1278464348.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e73465a328717b1b804a610f4d9de315 RANDOM SEED=1130747563 node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28919504 kB Buffers: 113064 kB Cached: 3334488 kB SwapCached: 0 kB Active: 1018076 kB Inactive: 2873796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28919504 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2004 kB Writeback: 0 kB AnonPages: 444152 kB Mapped: 15632 kB Slab: 76576 kB PageTables: 5308 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 605776 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73796 MiB End job on node133 at 2010-07-07 03:00:04