Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 118.627 | 118.623 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670--soft-0-100-0.wbo |
MD5SUM | fcf24b85e5d55a97f5b0cb315ea68e2b |
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 | 10 |
Best CPU time to get the best result obtained on this benchmark | 0.145977 |
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 | 1239 |
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.037994 7.57031 106 961 0.00/0.04 o 872 0.00/0.04 c 0.038994 7.75 110 1058 0.00/0.04 o 859 0.00/0.04 c 0.039993 7.75 113 1149 0.00/0.04 o 793 0.00/0.05 c 0.042993 7.75 134 1246 0.00/0.05 o 751 0.00/0.05 c 0.043993 7.75 139 1316 0.00/0.05 o 717 0.00/0.05 c 0.045993 7.75 147 1524 0.00/0.05 o 618 0.00/0.07 c 0.056991 7.75 344 2034 0.00/0.07 o 609 0.09/0.10 c 0.071989 7.87891 593 2503 0.09/0.10 o 568 0.29/0.35 c 0.201969 8.00391 507 6549 0.29/0.35 o 538 0.69/0.73 c 0.416936 8.00391 1075 13179 0.69/0.73 o 498 0.99/1.06 c 0.598908 8.00391 507 18626 0.99/1.06 o 473 0.99/1.09 c 0.615906 8.00391 392 20240 0.99/1.09 o 469 1.10/1.16 c 0.6559 8.00391 506 21511 1.10/1.16 o 449 1.10/1.16 c 0.659899 8.00391 537 21581 1.10/1.16 o 444 1.10/1.19 c 0.673897 8.00391 395 22035 1.10/1.19 o 432 1.10/1.20 c 0.680896 8.00391 466 22268 1.10/1.20 o 385 1.20/1.20 c 0.683896 8.00391 485 22390 1.20/1.20 o 362 1.20/1.21 c 0.685895 8.00391 513 22470 1.20/1.21 o 344 1.20/1.22 c 0.692894 8.00391 607 22704 1.20/1.22 o 339 1.20/1.24 c 0.702893 8.00391 673 22878 1.20/1.24 o 318 1.20/1.26 c 0.713891 8.00391 510 23371 1.20/1.26 o 298 1.20/1.27 c 0.714891 8.00391 543 23504 1.20/1.27 o 253 1.20/1.27 c 0.714891 8.00391 551 23550 1.20/1.27 o 235 2.30/2.39 c 1.3288 8.00391 548 36605 2.30/2.39 o 192 3.59/3.60 c 2.04269 8.00391 699 50186 3.59/3.60 o 184 3.59/3.61 c 2.05269 8.00391 398 50338 3.59/3.61 o 177 5.89/5.90 c 3.62145 8.12891 841 75699 5.89/5.90 o 160 5.99/6.02 c 3.68944 8.12891 605 77064 5.99/6.02 o 158 7.30/7.32 c 4.44032 8.12891 581 90943 7.30/7.32 o 122 9.59/9.61 c 5.77512 8.12891 457 115231 9.59/9.61 o 116 9.59/9.65 c 5.79812 8.12891 634 115657 9.59/9.65 o 114 9.69/9.71 c 5.83411 8.12891 531 116242 9.69/9.71 o 111 9.69/9.71 c 5.83611 8.12891 539 116300 9.69/9.71 o 90 12.09/12.18 c 7.53885 8.12891 731 141563 12.09/12.18 o 86 12.09/12.18 c 7.54185 8.12891 385 141684 12.09/12.18 o 80 14.10/14.18 c 8.80266 8.12891 755 165432 14.10/14.18 o 75 14.19/14.25 c 8.84266 8.12891 708 166210 14.19/14.25 o 48 14.19/14.27 c 8.86065 8.12891 537 166566 14.19/14.27 o 38 19.70/19.70 c 12.6641 8.37891 838 231631 19.70/19.70 o 32 19.99/20.00 c 12.871 8.37891 493 235687 19.99/20.00 o 27 20.89/20.95 c 13.5109 8.37891 1218 247473 20.89/20.95 o 22 20.89/20.99 c 13.5389 8.37891 620 248107 20.89/20.99 o 10 118.60/118.61 c 86.9358 8.71094 771 1534001 118.60/118.61 s OPTIMUM FOUND 118.60/118.61 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 10
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699424-1278464355/watcher-2699424-1278464355 -o /tmp/evaluation-result-2699424-1278464355/solver-2699424-1278464355 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699424-1278464355.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.01 2.00 1.94 3/178 14250 /proc/meminfo: memFree=29844000/32950928 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=3840 CPUtime=0 /proc/14250/stat : 14250 (pbct) R 14248 14250 13631 0 -1 4202496 663 0 0 0 0 0 0 0 20 0 1 0 14649080 3932160 583 4089446400 134512640 136422188 4287016688 18446744073709551615 134632584 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14250/statm: 960 584 193 467 0 491 0 [startup+0.101044 s] /proc/loadavg: 2.01 2.00 1.94 3/178 14250 /proc/meminfo: memFree=29844000/32950928 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=8064 CPUtime=0.09 /proc/14250/stat : 14250 (pbct) R 14248 14250 13631 0 -1 4202496 1723 0 0 0 7 2 0 0 21 0 1 0 14649080 8257536 1636 4089446400 134512640 136422188 4287016688 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14250/statm: 2016 1636 236 467 0 1547 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8064 [startup+0.201025 s] /proc/loadavg: 2.01 2.00 1.94 3/178 14250 /proc/meminfo: memFree=29844000/32950928 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=8064 CPUtime=0.19 /proc/14250/stat : 14250 (pbct) R 14248 14250 13631 0 -1 4202496 1737 0 0 0 12 7 0 0 21 0 1 0 14649080 8257536 1649 4089446400 134512640 136422188 4287016688 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14250/statm: 2016 1649 236 467 0 1547 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 8064 [startup+0.301007 s] /proc/loadavg: 2.01 2.00 1.94 3/178 14250 /proc/meminfo: memFree=29844000/32950928 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=8192 CPUtime=0.29 /proc/14250/stat : 14250 (pbct) R 14248 14250 13631 0 -1 4202496 1763 0 0 0 17 12 0 0 21 0 1 0 14649080 8388608 1675 4089446400 134512640 136422188 4287016688 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14250/statm: 2048 1675 236 467 0 1579 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8192 [startup+0.700934 s] /proc/loadavg: 2.01 2.00 1.94 3/178 14250 /proc/meminfo: memFree=29844000/32950928 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=8192 CPUtime=0.69 /proc/14250/stat : 14250 (pbct) R 14248 14250 13631 0 -1 4202496 1764 0 0 0 39 30 0 0 22 0 1 0 14649080 8388608 1675 4089446400 134512640 136422188 4287016688 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14250/statm: 2048 1675 236 467 0 1579 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8192 [startup+1.50079 s] /proc/loadavg: 2.01 2.00 1.94 3/179 14251 /proc/meminfo: memFree=29838368/32950928 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=8192 CPUtime=1.49 /proc/14250/stat : 14250 (pbct) R 14248 14250 13631 0 -1 4202496 1783 0 0 0 83 66 0 0 25 0 1 0 14649080 8388608 1680 4089446400 134512640 136422188 4287016688 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14250/statm: 2048 1680 236 467 0 1579 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8192 [startup+3.10055 s] /proc/loadavg: 2.01 2.00 1.94 3/179 14251 /proc/meminfo: memFree=29838120/32950928 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=8192 CPUtime=3.09 /proc/14250/stat : 14250 (pbct) R 14248 14250 13631 0 -1 4202496 1784 0 0 0 175 134 0 0 25 0 1 0 14649080 8388608 1680 4089446400 134512640 136422188 4287016688 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14250/statm: 2048 1680 236 467 0 1579 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8192 [startup+6.30097 s] /proc/loadavg: 2.01 2.00 1.94 3/179 14251 /proc/meminfo: memFree=29838400/32950928 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=8320 CPUtime=6.29 /proc/14250/stat : 14250 (pbct) R 14248 14250 13631 0 -1 4202496 1802 0 0 0 385 244 0 0 25 0 1 0 14649080 8519680 1694 4089446400 134512640 136422188 4287016688 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14250/statm: 2080 1694 236 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.01 2.00 1.94 3/179 14251 /proc/meminfo: memFree=29838300/32950928 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=8320 CPUtime=12.69 /proc/14250/stat : 14250 (pbct) R 14248 14250 13631 0 -1 4202496 1836 0 0 0 786 483 0 0 25 0 1 0 14649080 8519680 1721 4089446400 134512640 136422188 4287016688 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14250/statm: 2080 1721 236 467 0 1611 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8320 [startup+25.5004 s] /proc/loadavg: 2.01 2.00 1.94 3/179 14252 /proc/meminfo: memFree=29838768/32950928 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=8576 CPUtime=25.49 /proc/14250/stat : 14250 (pbct) R 14248 14250 13631 0 -1 4202496 1894 0 0 0 1699 850 0 0 25 0 1 0 14649080 8781824 1772 4089446400 134512640 136422188 4287016688 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14250/statm: 2144 1772 236 467 0 1675 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8576 [startup+51.1007 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14252 /proc/meminfo: memFree=29838472/32950928 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=8704 CPUtime=51.09 /proc/14250/stat : 14250 (pbct) R 14248 14250 13631 0 -1 4202496 1937 0 0 0 3610 1499 0 0 25 0 1 0 14649080 8912896 1815 4089446400 134512640 136422188 4287016688 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14250/statm: 2176 1815 236 467 0 1707 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8704 [startup+102.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14254 /proc/meminfo: memFree=29838288/32950928 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=8832 CPUtime=102.3 /proc/14250/stat : 14250 (pbct) R 14248 14250 13631 0 -1 4202496 1970 0 0 0 7461 2769 0 0 25 0 1 0 14649080 9043968 1848 4089446400 134512640 136422188 4287016688 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14250/statm: 2208 1848 236 467 0 1739 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8832 Solver just ended. Dumping a history of the last processes samples [startup+102.405 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14254 /proc/meminfo: memFree=29838288/32950928 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=8832 CPUtime=102.4 /proc/14250/stat : 14250 (pbct) R 14248 14250 13631 0 -1 4202496 1970 0 0 0 7469 2771 0 0 25 0 1 0 14649080 9043968 1848 4089446400 134512640 136422188 4287016688 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14250/statm: 2208 1848 236 467 0 1739 0 Current children cumulated CPU time (s) 102.4 Current children cumulated vsize (KiB) 8832 [startup+108.8 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14263 /proc/meminfo: memFree=29837280/32950928 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=8936 CPUtime=108.8 /proc/14250/stat : 14250 (pbct) R 14248 14250 13631 0 -1 4202496 1979 0 0 0 7943 2937 0 0 25 0 1 0 14649080 9150464 1857 4089446400 134512640 136422188 4287016688 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14250/statm: 2234 1857 236 467 0 1765 0 Current children cumulated CPU time (s) 108.8 Current children cumulated vsize (KiB) 8936 [startup+115.201 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14263 /proc/meminfo: memFree=29837848/32950928 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=8916 CPUtime=115.2 /proc/14250/stat : 14250 (pbct) R 14248 14250 13631 0 -1 4202496 1979 0 0 0 8427 3093 0 0 25 0 1 0 14649080 9129984 1857 4089446400 134512640 136422188 4287016688 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14250/statm: 2229 1857 236 467 0 1760 0 Current children cumulated CPU time (s) 115.2 Current children cumulated vsize (KiB) 8916 [startup+116.801 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14263 /proc/meminfo: memFree=29837848/32950928 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=8916 CPUtime=116.79 /proc/14250/stat : 14250 (pbct) R 14248 14250 13631 0 -1 4202496 1979 0 0 0 8555 3124 0 0 25 0 1 0 14649080 9129984 1857 4089446400 134512640 136422188 4287016688 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14250/statm: 2229 1857 236 467 0 1760 0 Current children cumulated CPU time (s) 116.79 Current children cumulated vsize (KiB) 8916 [startup+117.601 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14263 /proc/meminfo: memFree=29837848/32950928 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=8916 CPUtime=117.6 /proc/14250/stat : 14250 (pbct) R 14248 14250 13631 0 -1 4202496 1979 0 0 0 8616 3144 0 0 25 0 1 0 14649080 9129984 1857 4089446400 134512640 136422188 4287016688 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14250/statm: 2229 1857 236 467 0 1760 0 Current children cumulated CPU time (s) 117.6 Current children cumulated vsize (KiB) 8916 [startup+118.4 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14263 /proc/meminfo: memFree=29837980/32950928 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=8916 CPUtime=118.39 /proc/14250/stat : 14250 (pbct) R 14248 14250 13631 0 -1 4202496 1979 0 0 0 8676 3163 0 0 25 0 1 0 14649080 9129984 1857 4089446400 134512640 136422188 4287016688 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14250/statm: 2229 1857 236 467 0 1760 0 Current children cumulated CPU time (s) 118.39 Current children cumulated vsize (KiB) 8916 [startup+118.6 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14263 /proc/meminfo: memFree=29837980/32950928 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=8916 CPUtime=118.6 /proc/14250/stat : 14250 (pbct) R 14248 14250 13631 0 -1 4202496 1979 0 0 0 8692 3168 0 0 25 0 1 0 14649080 9129984 1857 4089446400 134512640 136422188 4287016688 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14250/statm: 2229 1857 236 467 0 1760 0 Current children cumulated CPU time (s) 118.6 Current children cumulated vsize (KiB) 8916 Child status: 0 Real time (s): 118.623 CPU time (s): 118.627 CPU user time (s): 86.9408 CPU system time (s): 31.6862 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 8960 getrusage(RUSAGE_CHILDREN,...) data: user time used= 86.9408 system time used= 31.6862 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1984 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= 189 runsolver used 0.180972 second user time and 0.361944 second system time The end
Begin job on node116 at 2010-07-07 02:59:15 IDJOB=2699424 IDBENCH=79228 IDSOLVER=1212 FILE ID=node116/2699424-1278464355 PBS_JOBID= 11233761 Free space on /tmp= 73584 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111213670--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699424-1278464355/watcher-2699424-1278464355 -o /tmp/evaluation-result-2699424-1278464355/solver-2699424-1278464355 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699424-1278464355.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fcf24b85e5d55a97f5b0cb315ea68e2b RANDOM SEED=761296443 node116.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.858 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.71 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.858 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.858 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.858 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.83 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.858 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.73 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.858 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.75 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.858 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.858 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: 29844520 kB Buffers: 112148 kB Cached: 2779164 kB SwapCached: 0 kB Active: 929260 kB Inactive: 2033128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29844520 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3956 kB Writeback: 0 kB AnonPages: 71160 kB Mapped: 15820 kB Slab: 80128 kB PageTables: 4460 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 212672 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= 73580 MiB End job on node116 at 2010-07-07 03:01:13