Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 48.7886 | 48.7876 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224451--soft-0-100-0.wbo |
MD5SUM | 51c830b3e31ed97e6a2590ce9584f929 |
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 | 9 |
Best CPU time to get the best result obtained on this benchmark | 0.482926 |
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 | 5180 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 5179 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1261 |
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.03/0.03 c 0.035994 7.57031 111 1260 0.03/0.03 o 980 0.03/0.03 c 0.036994 7.75391 113 1389 0.03/0.04 o 925 0.03/0.04 c 0.037994 7.75391 115 1493 0.03/0.04 o 881 0.03/0.04 c 0.039993 7.75391 118 1638 0.03/0.04 o 726 0.03/0.04 c 0.041993 7.75391 129 1754 0.03/0.04 o 667 0.03/0.04 c 0.043993 7.75391 162 1825 0.03/0.04 o 666 0.03/0.05 c 0.046992 7.75391 182 1888 0.03/0.05 o 664 0.03/0.05 c 0.048992 7.75391 185 1910 0.03/0.05 o 658 0.03/0.06 c 0.055991 7.75391 246 2097 0.03/0.06 o 648 0.03/0.06 c 0.06299 7.75391 315 2246 0.03/0.06 o 639 0.09/0.18 c 0.165974 7.87891 460 4058 0.09/0.18 o 617 0.09/0.19 c 0.170974 7.87891 508 4140 0.09/0.19 o 614 0.19/0.21 c 0.187971 7.87891 634 4396 0.19/0.21 o 596 0.19/0.22 c 0.19497 7.87891 361 4542 0.19/0.22 o 579 0.19/0.27 c 0.233964 7.87891 417 5406 0.19/0.27 o 571 0.19/0.27 c 0.234964 7.87891 419 5449 0.19/0.27 o 543 0.19/0.28 c 0.247962 7.87891 568 5748 0.19/0.28 o 537 0.29/0.30 c 0.263959 7.87891 365 6126 0.29/0.30 o 528 0.29/0.31 c 0.272958 7.87891 456 6284 0.29/0.31 o 523 0.29/0.32 c 0.285956 7.87891 546 6519 0.29/0.32 o 501 0.49/0.57 c 0.497924 8.00391 770 9802 0.49/0.57 o 471 0.49/0.57 c 0.499924 8.00391 399 9895 0.49/0.57 o 430 0.69/0.77 c 0.668898 8.00391 724 13390 0.69/0.77 o 421 0.69/0.78 c 0.672897 8.00391 440 13595 0.69/0.78 o 387 0.79/0.89 c 0.768883 8.00391 787 15498 0.79/0.89 o 376 1.10/1.16 c 1.00885 8.00391 1075 19259 1.10/1.16 o 365 1.10/1.19 c 1.03684 8.00391 745 19784 1.10/1.19 o 362 1.29/1.37 c 1.18782 8.00391 401 23098 1.29/1.37 o 351 1.29/1.38 c 1.19782 8.00391 484 23321 1.29/1.38 o 345 1.49/1.50 c 1.3068 8.00391 605 24966 1.49/1.50 o 318 1.89/1.91 c 1.65475 8.00391 612 30341 1.89/1.91 o 308 2.19/2.22 c 1.90071 8.00391 671 34490 2.19/2.22 o 302 2.19/2.24 c 1.91171 8.00391 463 34850 2.19/2.24 o 298 2.99/3.01 c 2.46163 8.12891 957 44859 2.99/3.01 o 297 3.09/3.15 c 2.57561 8.12891 560 46600 3.09/3.15 o 283 3.09/3.15 c 2.57961 8.12891 578 46676 3.09/3.15 o 278 3.20/3.21 c 2.6316 8.12891 572 47487 3.20/3.21 o 268 3.20/3.22 c 2.6376 8.12891 615 47583 3.20/3.22 o 254 3.59/3.65 c 3.01354 8.12891 924 52870 3.59/3.65 o 247 3.59/3.68 c 3.03254 8.12891 607 53296 3.59/3.68 o 241 3.69/3.72 c 3.07453 8.12891 539 53977 3.69/3.72 o 228 3.69/3.77 c 3.11253 8.12891 838 54593 3.69/3.77 o 210 3.79/3.80 c 3.14052 8.12891 646 55191 3.79/3.80 o 206 3.79/3.81 c 3.14752 8.12891 683 55322 3.79/3.81 o 178 5.09/5.18 c 4.31734 8.12891 841 69946 5.09/5.18 o 151 5.69/5.74 c 4.79227 8.12891 1045 76904 5.69/5.74 o 139 5.79/5.82 c 4.86326 8.12891 618 78046 5.79/5.82 o 127 5.89/5.98 c 4.99624 8.12891 506 79612 5.89/5.98 o 112 5.99/6.08 c 5.08823 8.12891 666 80726 5.99/6.08 o 105 6.49/6.53 c 5.48616 8.12891 754 85706 6.49/6.53 o 103 6.89/6.91 c 5.81412 8.12891 661 90305 6.89/6.91 o 62 6.89/6.93 c 5.83411 8.12891 431 90565 6.89/6.93 o 61 9.09/9.17 c 7.72982 8.35547 988 117718 9.09/9.17 o 56 11.70/11.76 c 9.80251 8.35547 1000 148290 11.70/11.76 o 46 14.69/14.79 c 12.3641 8.35547 821 183415 14.69/14.79 o 9 48.69/48.78 c 42.9025 8.60547 783 609006 48.69/48.78 s OPTIMUM FOUND 48.69/48.78 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 9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699456-1278464419/watcher-2699456-1278464419 -o /tmp/evaluation-result-2699456-1278464419/solver-2699456-1278464419 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699456-1278464419.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.93 4/178 12954 /proc/meminfo: memFree=29999388/32950928 swapFree=67111528/67111528 [pid=12954] ppid=12952 vsize=3972 CPUtime=0 /proc/12954/stat : 12954 (pbct) R 12952 12954 12450 0 -1 4202496 695 0 0 0 0 0 0 0 25 0 1 0 14655761 4067328 614 4089446400 134512640 136422188 4292323904 18446744073709551615 134651609 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12954/statm: 993 616 193 467 0 524 0 [startup+0.0360289 s] /proc/loadavg: 2.00 2.00 1.93 4/178 12954 /proc/meminfo: memFree=29999388/32950928 swapFree=67111528/67111528 [pid=12954] ppid=12952 vsize=7748 CPUtime=0.03 /proc/12954/stat : 12954 (pbct) R 12952 12954 12450 0 -1 4202496 1642 0 0 0 3 0 0 0 25 0 1 0 14655761 7933952 1561 4089446400 134512640 136422188 4292323904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12954/statm: 1937 1561 213 467 0 1468 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 7748 [startup+0.100905 s] /proc/loadavg: 2.00 2.00 1.93 4/178 12954 /proc/meminfo: memFree=29999388/32950928 swapFree=67111528/67111528 [pid=12954] ppid=12952 vsize=7936 CPUtime=0.09 /proc/12954/stat : 12954 (pbct) R 12952 12954 12450 0 -1 4202496 1716 0 0 0 9 0 0 0 25 0 1 0 14655761 8126464 1625 4089446400 134512640 136422188 4292323904 18446744073709551615 135006447 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12954/statm: 1984 1625 236 467 0 1515 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7936 [startup+0.300871 s] /proc/loadavg: 2.00 2.00 1.93 4/178 12954 /proc/meminfo: memFree=29999388/32950928 swapFree=67111528/67111528 [pid=12954] ppid=12952 vsize=8064 CPUtime=0.29 /proc/12954/stat : 12954 (pbct) R 12952 12954 12450 0 -1 4202496 1741 0 0 0 25 4 0 0 25 0 1 0 14655761 8257536 1643 4089446400 134512640 136422188 4292323904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12954/statm: 2016 1643 236 467 0 1547 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8064 [startup+0.7008 s] /proc/loadavg: 2.00 2.00 1.93 4/178 12954 /proc/meminfo: memFree=29999388/32950928 swapFree=67111528/67111528 [pid=12954] ppid=12952 vsize=8192 CPUtime=0.69 /proc/12954/stat : 12954 (pbct) R 12952 12954 12450 0 -1 4202496 1779 0 0 0 60 9 0 0 25 0 1 0 14655761 8388608 1676 4089446400 134512640 136422188 4292323904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12954/statm: 2048 1676 236 467 0 1579 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8192 [startup+1.50066 s] /proc/loadavg: 2.00 2.00 1.93 3/179 12955 /proc/meminfo: memFree=29993428/32950928 swapFree=67111528/67111528 [pid=12954] ppid=12952 vsize=8192 CPUtime=1.49 /proc/12954/stat : 12954 (pbct) R 12952 12954 12450 0 -1 4202496 1796 0 0 0 129 20 0 0 18 0 1 0 14655761 8388608 1686 4089446400 134512640 136422188 4292323904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12954/statm: 2048 1686 236 467 0 1579 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8192 [startup+3.10041 s] /proc/loadavg: 2.00 2.00 1.93 3/179 12955 /proc/meminfo: memFree=29993056/32950928 swapFree=67111528/67111528 [pid=12954] ppid=12952 vsize=8320 CPUtime=3.09 /proc/12954/stat : 12954 (pbct) R 12952 12954 12450 0 -1 4202496 1817 0 0 0 253 56 0 0 21 0 1 0 14655761 8519680 1702 4089446400 134512640 136422188 4292323904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12954/statm: 2080 1702 237 467 0 1611 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8320 [startup+6.30081 s] /proc/loadavg: 2.00 2.00 1.93 3/179 12955 /proc/meminfo: memFree=29992908/32950928 swapFree=67111528/67111528 [pid=12954] ppid=12952 vsize=8320 CPUtime=6.29 /proc/12954/stat : 12954 (pbct) R 12952 12954 12450 0 -1 4202496 1855 0 0 0 527 102 0 0 18 0 1 0 14655761 8519680 1725 4089446400 134512640 136422188 4292323904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12954/statm: 2080 1725 237 467 0 1611 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8320 [startup+12.7007 s] /proc/loadavg: 2.00 2.00 1.93 3/179 12955 /proc/meminfo: memFree=29992708/32950928 swapFree=67111528/67111528 [pid=12954] ppid=12952 vsize=8552 CPUtime=12.69 /proc/12954/stat : 12954 (pbct) R 12952 12954 12450 0 -1 4202496 1905 0 0 0 1056 213 0 0 25 0 1 0 14655761 8757248 1770 4089446400 134512640 136422188 4292323904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12954/statm: 2138 1770 237 467 0 1669 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8552 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 1.93 3/179 12955 /proc/meminfo: memFree=29992708/32950928 swapFree=67111528/67111528 [pid=12954] ppid=12952 vsize=8808 CPUtime=25.49 /proc/12954/stat : 12954 (pbct) R 12952 12954 12450 0 -1 4202496 1973 0 0 0 2205 344 0 0 25 0 1 0 14655761 9019392 1837 4089446400 134512640 136422188 4292323904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12954/statm: 2202 1837 237 467 0 1733 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8808 Solver just ended. Dumping a history of the last processes samples [startup+38.3002 s] /proc/loadavg: 2.00 2.00 1.93 3/179 12955 /proc/meminfo: memFree=29992316/32950928 swapFree=67111528/67111528 [pid=12954] ppid=12952 vsize=8808 CPUtime=38.29 /proc/12954/stat : 12954 (pbct) R 12952 12954 12450 0 -1 4202496 1983 0 0 0 3365 464 0 0 25 0 1 0 14655761 9019392 1847 4089446400 134512640 136422188 4292323904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12954/statm: 2202 1847 237 467 0 1733 0 Current children cumulated CPU time (s) 38.29 Current children cumulated vsize (KiB) 8808 [startup+44.701 s] /proc/loadavg: 2.00 2.00 1.93 3/179 12964 /proc/meminfo: memFree=29992304/32950928 swapFree=67111528/67111528 [pid=12954] ppid=12952 vsize=8808 CPUtime=44.7 /proc/12954/stat : 12954 (pbct) R 12952 12954 12450 0 -1 4202496 1984 0 0 0 3923 547 0 0 25 0 1 0 14655761 9019392 1848 4089446400 134512640 136422188 4292323904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12954/statm: 2202 1848 237 467 0 1733 0 Current children cumulated CPU time (s) 44.7 Current children cumulated vsize (KiB) 8808 [startup+46.3008 s] /proc/loadavg: 2.00 2.00 1.93 3/179 12965 /proc/meminfo: memFree=29992304/32950928 swapFree=67111528/67111528 [pid=12954] ppid=12952 vsize=8808 CPUtime=46.3 /proc/12954/stat : 12954 (pbct) R 12952 12954 12450 0 -1 4202496 1984 0 0 0 4068 562 0 0 25 0 1 0 14655761 9019392 1848 4089446400 134512640 136422188 4292323904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12954/statm: 2202 1848 237 467 0 1733 0 Current children cumulated CPU time (s) 46.3 Current children cumulated vsize (KiB) 8808 [startup+47.9005 s] /proc/loadavg: 2.00 2.00 1.93 3/179 12965 /proc/meminfo: memFree=29992468/32950928 swapFree=67111528/67111528 [pid=12954] ppid=12952 vsize=8808 CPUtime=47.9 /proc/12954/stat : 12954 (pbct) R 12952 12954 12450 0 -1 4202496 1984 0 0 0 4214 576 0 0 25 0 1 0 14655761 9019392 1848 4089446400 134512640 136422188 4292323904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12954/statm: 2202 1848 237 467 0 1733 0 Current children cumulated CPU time (s) 47.9 Current children cumulated vsize (KiB) 8808 [startup+48.3004 s] /proc/loadavg: 2.00 2.00 1.93 3/179 12965 /proc/meminfo: memFree=29992468/32950928 swapFree=67111528/67111528 [pid=12954] ppid=12952 vsize=8808 CPUtime=48.3 /proc/12954/stat : 12954 (pbct) R 12952 12954 12450 0 -1 4202496 1984 0 0 0 4249 581 0 0 25 0 1 0 14655761 9019392 1848 4089446400 134512640 136422188 4292323904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12954/statm: 2202 1848 237 467 0 1733 0 Current children cumulated CPU time (s) 48.3 Current children cumulated vsize (KiB) 8808 [startup+48.7003 s] /proc/loadavg: 2.00 2.00 1.93 3/179 12965 /proc/meminfo: memFree=29992468/32950928 swapFree=67111528/67111528 [pid=12954] ppid=12952 vsize=8808 CPUtime=48.69 /proc/12954/stat : 12954 (pbct) R 12952 12954 12450 0 -1 4202496 1984 0 0 0 4283 586 0 0 25 0 1 0 14655761 9019392 1848 4089446400 134512640 136422188 4292323904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12954/statm: 2202 1848 237 467 0 1733 0 Current children cumulated CPU time (s) 48.69 Current children cumulated vsize (KiB) 8808 Child status: 0 Real time (s): 48.7876 CPU time (s): 48.7886 CPU user time (s): 42.9065 CPU system time (s): 5.8821 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 8808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 42.9065 system time used= 5.88211 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1989 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= 61 runsolver used 0.071989 second user time and 0.176973 second system time The end
Begin job on node125 at 2010-07-07 03:00:20 IDJOB=2699456 IDBENCH=79244 IDSOLVER=1212 FILE ID=node125/2699456-1278464419 PBS_JOBID= 11233742 Free space on /tmp= 73628 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224451--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699456-1278464419/watcher-2699456-1278464419 -o /tmp/evaluation-result-2699456-1278464419/solver-2699456-1278464419 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699456-1278464419.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 51c830b3e31ed97e6a2590ce9584f929 RANDOM SEED=1636880744 node125.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.823 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.64 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.823 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.823 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.823 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.74 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.823 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.823 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.74 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.823 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.823 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.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30000032 kB Buffers: 110152 kB Cached: 2439332 kB SwapCached: 0 kB Active: 893336 kB Inactive: 1916144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30000032 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1716 kB Writeback: 0 kB AnonPages: 260360 kB Mapped: 15452 kB Slab: 77872 kB PageTables: 4808 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 404492 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= 73628 MiB End job on node125 at 2010-07-07 03:01:08