Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 107.302 | 107.299 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059--soft-0-100-0.wbo |
MD5SUM | 14fe5a51c3c33a9eb099b4fa76f18c14 |
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.120981 |
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 | 1314 |
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.02/0.04 c 0.038994 7.57031 108 927 0.02/0.04 o 699 0.02/0.04 c 0.038994 7.75 111 1052 0.02/0.04 o 694 0.02/0.04 c 0.040993 7.75 117 1101 0.02/0.04 o 677 0.02/0.05 c 0.048992 7.75 194 1439 0.02/0.05 o 621 0.02/0.06 c 0.053991 7.75 285 1638 0.02/0.06 o 608 0.02/0.06 c 0.054991 7.75 286 1658 0.02/0.06 o 601 0.02/0.07 c 0.06399 7.75 383 1987 0.02/0.07 o 546 0.02/0.08 c 0.068989 7.75 441 2188 0.02/0.08 o 470 0.09/0.10 c 0.087986 7.875 655 2722 0.09/0.10 o 435 0.19/0.25 c 0.211967 7.875 700 4973 0.19/0.25 o 434 0.19/0.26 c 0.217966 7.875 408 5112 0.19/0.26 o 423 0.19/0.26 c 0.217966 7.875 408 5159 0.19/0.26 o 397 0.29/0.37 c 0.306953 7.875 461 6811 0.29/0.37 o 349 0.29/0.37 c 0.308953 7.875 467 6856 0.29/0.37 o 343 0.29/0.37 c 0.310952 7.875 482 6932 0.29/0.37 o 330 0.29/0.38 c 0.313952 7.875 513 7057 0.29/0.38 o 303 0.29/0.38 c 0.315951 7.875 520 7100 0.29/0.38 o 297 0.49/0.57 c 0.481926 7.875 862 9567 0.49/0.57 o 296 0.49/0.58 c 0.491925 7.875 511 9761 0.49/0.58 o 290 0.59/0.63 c 0.528919 7.875 529 10657 0.59/0.63 o 278 0.59/0.64 c 0.531919 7.875 582 10881 0.59/0.64 o 256 0.59/0.64 c 0.540917 7.875 629 11020 0.59/0.64 o 243 0.59/0.65 c 0.542917 7.875 326 11064 0.59/0.65 o 239 0.59/0.65 c 0.545917 7.875 343 11104 0.59/0.65 o 235 0.59/0.65 c 0.547916 7.875 345 11126 0.59/0.65 o 228 0.69/0.72 c 0.606907 7.875 396 12043 0.69/0.72 o 219 1.19/1.20 c 1.01085 8 612 19611 1.19/1.20 o 195 1.39/1.41 c 1.18482 8.125 757 22442 1.39/1.41 o 193 1.49/1.59 c 1.3478 8.125 441 25347 1.49/1.59 o 180 1.79/1.82 c 1.54076 8.125 433 28742 1.79/1.82 o 167 1.79/1.82 c 1.54276 8.125 443 28819 1.79/1.82 o 146 1.79/1.87 c 1.58476 8.125 708 29439 1.79/1.87 o 124 4.09/4.11 c 3.50247 8.125 773 54358 4.09/4.11 o 115 5.40/5.43 c 4.63729 8.125 554 69292 5.40/5.43 o 97 5.40/5.44 c 4.64829 8.125 600 69442 5.40/5.44 o 93 5.40/5.45 c 4.65329 8.125 636 69548 5.40/5.45 o 90 5.89/5.92 c 5.06123 8.125 490 75224 5.89/5.92 o 70 5.89/5.92 c 5.06323 8.125 500 75281 5.89/5.92 o 62 5.89/5.93 c 5.06423 8.125 505 75338 5.89/5.93 o 42 9.99/10.01 c 8.65668 8.25 627 123932 9.99/10.01 o 39 12.69/12.72 c 11.0613 8.25 649 155359 12.69/12.72 o 37 15.79/15.84 c 13.8339 8.25 669 192895 15.79/15.84 o 33 15.99/16.06 c 14.0269 8.25 828 195408 15.99/16.06 o 31 18.39/18.43 c 16.1345 8.25 667 223552 18.39/18.43 o 30 18.39/18.43 c 16.1385 8.25 702 223630 18.39/18.43 o 22 18.39/18.45 c 16.1545 8.25 443 223899 18.39/18.45 o 15 20.39/20.44 c 17.9453 8.375 991 249762 20.39/20.44 o 13 21.39/21.45 c 18.8561 8.375 1315 263856 21.39/21.45 o 12 21.39/21.46 c 18.8631 8.375 736 263968 21.39/21.46 o 9 107.20/107.29 c 96.3624 8.59375 870 1382426 107.20/107.29 s OPTIMUM FOUND 107.20/107.29 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-2699376-1278464215/watcher-2699376-1278464215 -o /tmp/evaluation-result-2699376-1278464215/solver-2699376-1278464215 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699376-1278464215.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 13316 /proc/meminfo: memFree=29373628/32950928 swapFree=67111528/67111528 [pid=13316] ppid=13314 vsize=3972 CPUtime=0 /proc/13316/stat : 13316 (pbct) R 13314 13316 12513 0 -1 4202496 683 0 0 0 0 0 0 0 25 0 1 0 14636285 4067328 602 4089446400 134512640 136422188 4294800784 18446744073709551615 135812218 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13316/statm: 993 603 193 467 0 524 0 [startup+0.0235501 s] /proc/loadavg: 2.00 2.00 1.93 4/178 13316 /proc/meminfo: memFree=29373628/32950928 swapFree=67111528/67111528 [pid=13316] ppid=13314 vsize=7616 CPUtime=0.02 /proc/13316/stat : 13316 (pbct) R 13314 13316 12513 0 -1 4202496 1589 0 0 0 2 0 0 0 25 0 1 0 14636285 7798784 1508 4089446400 134512640 136422188 4294800784 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13316/statm: 1904 1519 207 467 0 1435 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 7616 [startup+0.100534 s] /proc/loadavg: 2.00 2.00 1.93 4/178 13316 /proc/meminfo: memFree=29373628/32950928 swapFree=67111528/67111528 [pid=13316] ppid=13314 vsize=8060 CPUtime=0.09 /proc/13316/stat : 13316 (pbct) R 13314 13316 12513 0 -1 4202496 1721 0 0 0 8 1 0 0 25 0 1 0 14636285 8253440 1632 4089446400 134512640 136422188 4294800784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13316/statm: 2015 1632 236 467 0 1546 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8060 [startup+0.300495 s] /proc/loadavg: 2.00 2.00 1.93 4/178 13316 /proc/meminfo: memFree=29373628/32950928 swapFree=67111528/67111528 [pid=13316] ppid=13314 vsize=8060 CPUtime=0.29 /proc/13316/stat : 13316 (pbct) R 13314 13316 12513 0 -1 4202496 1738 0 0 0 24 5 0 0 25 0 1 0 14636285 8253440 1645 4089446400 134512640 136422188 4294800784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13316/statm: 2015 1645 236 467 0 1546 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8060 [startup+0.700435 s] /proc/loadavg: 2.00 2.00 1.93 4/178 13316 /proc/meminfo: memFree=29373628/32950928 swapFree=67111528/67111528 [pid=13316] ppid=13314 vsize=8060 CPUtime=0.69 /proc/13316/stat : 13316 (pbct) R 13314 13316 12513 0 -1 4202496 1761 0 0 0 58 11 0 0 18 0 1 0 14636285 8253440 1655 4089446400 134512640 136422188 4294800784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13316/statm: 2015 1655 236 467 0 1546 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8060 [startup+1.50029 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13317 /proc/meminfo: memFree=29367552/32950928 swapFree=67111528/67111528 [pid=13316] ppid=13314 vsize=8316 CPUtime=1.49 /proc/13316/stat : 13316 (pbct) R 13314 13316 12513 0 -1 4202496 1804 0 0 0 126 23 0 0 19 0 1 0 14636285 8515584 1695 4089446400 134512640 136422188 4294800784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13316/statm: 2079 1695 236 467 0 1610 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8316 [startup+3.10101 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13317 /proc/meminfo: memFree=29367440/32950928 swapFree=67111528/67111528 [pid=13316] ppid=13314 vsize=8316 CPUtime=3.09 /proc/13316/stat : 13316 (pbct) R 13314 13316 12513 0 -1 4202496 1808 0 0 0 263 46 0 0 23 0 1 0 14636285 8515584 1695 4089446400 134512640 136422188 4294800784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13316/statm: 2079 1695 236 467 0 1610 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8316 [startup+6.30045 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13317 /proc/meminfo: memFree=29367316/32950928 swapFree=67111528/67111528 [pid=13316] ppid=13314 vsize=8316 CPUtime=6.29 /proc/13316/stat : 13316 (pbct) R 13314 13316 12513 0 -1 4202496 1834 0 0 0 538 91 0 0 25 0 1 0 14636285 8515584 1714 4089446400 134512640 136422188 4294800784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13316/statm: 2079 1714 236 467 0 1610 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8316 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13318 /proc/meminfo: memFree=29366924/32950928 swapFree=67111528/67111528 [pid=13316] ppid=13314 vsize=8444 CPUtime=12.69 /proc/13316/stat : 13316 (pbct) R 13314 13316 12513 0 -1 4202496 1855 0 0 0 1103 166 0 0 25 0 1 0 14636285 8646656 1734 4089446400 134512640 136422188 4294800784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13316/statm: 2111 1734 236 467 0 1642 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8444 [startup+25.501 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13318 /proc/meminfo: memFree=29367044/32950928 swapFree=67111528/67111528 [pid=13316] ppid=13314 vsize=8572 CPUtime=25.49 /proc/13316/stat : 13316 (pbct) R 13314 13316 12513 0 -1 4202496 1898 0 0 0 2253 296 0 0 25 0 1 0 14636285 8777728 1768 4089446400 134512640 136422188 4294800784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13316/statm: 2143 1768 236 467 0 1674 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8572 [startup+51.1005 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13319 /proc/meminfo: memFree=29366644/32950928 swapFree=67111528/67111528 [pid=13316] ppid=13314 vsize=8672 CPUtime=51.09 /proc/13316/stat : 13316 (pbct) R 13314 13316 12513 0 -1 4202496 1939 0 0 0 4563 546 0 0 25 0 1 0 14636285 8880128 1809 4089446400 134512640 136422188 4294800784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13316/statm: 2168 1809 236 467 0 1699 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8672 [startup+102.305 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13348 /proc/meminfo: memFree=30272152/32950928 swapFree=67111528/67111528 [pid=13316] ppid=13314 vsize=8796 CPUtime=102.3 /proc/13316/stat : 13316 (pbct) R 13314 13316 12513 0 -1 4202496 1960 0 0 0 9186 1044 0 0 25 0 1 0 14636285 9007104 1830 4089446400 134512640 136422188 4294800784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13316/statm: 2199 1830 236 467 0 1730 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8796 Solver just ended. Dumping a history of the last processes samples [startup+105.501 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13348 /proc/meminfo: memFree=30272152/32950928 swapFree=67111528/67111528 [pid=13316] ppid=13314 vsize=8796 CPUtime=105.5 /proc/13316/stat : 13316 (pbct) R 13314 13316 12513 0 -1 4202496 1960 0 0 0 9472 1078 0 0 25 0 1 0 14636285 9007104 1830 4089446400 134512640 136422188 4294800784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13316/statm: 2199 1830 236 467 0 1730 0 Current children cumulated CPU time (s) 105.5 Current children cumulated vsize (KiB) 8796 [startup+106.301 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13348 /proc/meminfo: memFree=30272152/32950928 swapFree=67111528/67111528 [pid=13316] ppid=13314 vsize=8796 CPUtime=106.29 /proc/13316/stat : 13316 (pbct) R 13314 13316 12513 0 -1 4202496 1960 0 0 0 9545 1084 0 0 25 0 1 0 14636285 9007104 1830 4089446400 134512640 136422188 4294800784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13316/statm: 2199 1830 236 467 0 1730 0 Current children cumulated CPU time (s) 106.29 Current children cumulated vsize (KiB) 8796 [startup+106.706 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13348 /proc/meminfo: memFree=30272640/32950928 swapFree=67111528/67111528 [pid=13316] ppid=13314 vsize=8796 CPUtime=106.7 /proc/13316/stat : 13316 (pbct) R 13314 13316 12513 0 -1 4202496 1960 0 0 0 9582 1088 0 0 25 0 1 0 14636285 9007104 1830 4089446400 134512640 136422188 4294800784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13316/statm: 2199 1830 236 467 0 1730 0 Current children cumulated CPU time (s) 106.7 Current children cumulated vsize (KiB) 8796 [startup+107.101 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13348 /proc/meminfo: memFree=30272640/32950928 swapFree=67111528/67111528 [pid=13316] ppid=13314 vsize=8796 CPUtime=107.09 /proc/13316/stat : 13316 (pbct) R 13314 13316 12513 0 -1 4202496 1960 0 0 0 9618 1091 0 0 25 0 1 0 14636285 9007104 1830 4089446400 134512640 136422188 4294800784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13316/statm: 2199 1830 236 467 0 1730 0 Current children cumulated CPU time (s) 107.09 Current children cumulated vsize (KiB) 8796 [startup+107.201 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13348 /proc/meminfo: memFree=30272640/32950928 swapFree=67111528/67111528 [pid=13316] ppid=13314 vsize=8796 CPUtime=107.2 /proc/13316/stat : 13316 (pbct) R 13314 13316 12513 0 -1 4202496 1960 0 0 0 9627 1093 0 0 25 0 1 0 14636285 9007104 1830 4089446400 134512640 136422188 4294800784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13316/statm: 2199 1830 236 467 0 1730 0 Current children cumulated CPU time (s) 107.2 Current children cumulated vsize (KiB) 8796 Child status: 0 Real time (s): 107.299 CPU time (s): 107.302 CPU user time (s): 96.3664 CPU system time (s): 10.9353 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 8800 getrusage(RUSAGE_CHILDREN,...) data: user time used= 96.3663 system time used= 10.9353 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1965 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= 2 involuntary context switches= 169 runsolver used 0.148977 second user time and 0.352946 second system time The end
Begin job on node112 at 2010-07-07 02:56:55 IDJOB=2699376 IDBENCH=79204 IDSOLVER=1212 FILE ID=node112/2699376-1278464215 PBS_JOBID= 11233769 Free space on /tmp= 73580 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224059--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699376-1278464215/watcher-2699376-1278464215 -o /tmp/evaluation-result-2699376-1278464215/solver-2699376-1278464215 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699376-1278464215.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 14fe5a51c3c33a9eb099b4fa76f18c14 RANDOM SEED=1559649967 node112.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.820 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.820 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.820 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.820 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.820 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.820 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.83 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.820 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.820 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29374140 kB Buffers: 105952 kB Cached: 2358192 kB SwapCached: 0 kB Active: 1713988 kB Inactive: 1719576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29374140 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2116 kB Writeback: 0 kB AnonPages: 969164 kB Mapped: 15624 kB Slab: 79252 kB PageTables: 6656 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1151628 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= 73584 MiB End job on node112 at 2010-07-07 02:58:43