Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 18.8721 | 18.8719 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216823--soft-66-100-0.wbo |
MD5SUM | 9ed46c486c107ad7f5d3527fe7805777 |
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 | 18 |
Best CPU time to get the best result obtained on this benchmark | 0.146977 |
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 | 26 |
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 | 1243 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 1242 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1207 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2689815-1277895863.wbo. 0.00/0.00 c Instance file HOME/instance-2689815-1277895863.wbo 0.00/0.00 c File size is 10098 bytes. 0.00/0.00 c Highest Coefficient sum: 1207 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 169 | 0.00/0.00 c | Number Clauses: 30 | 0.00/0.00 c | Number Cardinality: 70 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 169 101 1205 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 169 101 1205 | 5500 100 30 | 0.004 % | 0.00/0.00 c | 251 | 169 101 1205 | 6050 251 30 | 0.004 % | 0.00/0.01 c | 480 | 169 101 1205 | 6655 480 30 | 0.004 % | 0.00/0.02 c | 817 | 169 101 1205 | 7320 817 31 | 0.004 % | 0.00/0.03 c | 1323 | 169 101 1205 | 8052 1323 34 | 0.004 % | 0.03/0.06 c | 2082 | 169 101 1205 | 8857 2082 34 | 0.004 % | 0.09/0.10 c | 3221 | 169 101 1205 | 9743 3221 34 | 0.004 % | 0.09/0.17 c | 4931 | 169 101 1205 | 10717 4931 37 | 0.004 % | 0.19/0.29 c | 7493 | 169 101 1205 | 11789 7493 37 | 0.004 % | 0.49/0.52 c | 11337 | 169 101 1205 | 12968 11337 38 | 0.004 % | 0.89/0.90 c | 17104 | 169 101 1205 | 14265 10578 41 | 0.004 % | 1.49/1.51 c | 25756 | 169 101 1205 | 15692 12046 44 | 0.004 % | 2.49/2.50 c | 38730 | 169 101 1205 | 17261 9238 45 | 0.004 % | 3.49/3.58 c =============================================================================== 3.69/3.75 c core #1 3.69/3.75 c ============================[ Search Statistics ]============================== 3.69/3.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.75 c =============================================================================== 3.69/3.75 c | 0 | 194 126 1501 | 5000 0 nan | 0.000 % | 3.69/3.75 c | 103 | 194 126 1501 | 5500 103 32 | 0.003 % | 3.69/3.75 c | 255 | 194 126 1501 | 6050 255 29 | 0.003 % | 3.69/3.76 c | 481 | 194 126 1501 | 6655 481 28 | 0.003 % | 3.69/3.77 c | 820 | 194 126 1501 | 7320 820 30 | 0.003 % | 3.69/3.79 c | 1326 | 194 126 1501 | 8052 1326 31 | 0.003 % | 3.80/3.81 c | 2085 | 194 126 1501 | 8857 2085 31 | 0.003 % | 3.80/3.86 c | 3224 | 194 126 1501 | 9743 3224 33 | 0.003 % | 3.89/3.94 c | 4932 | 194 126 1501 | 10717 4932 35 | 0.003 % | 3.99/4.08 c | 7495 | 194 126 1501 | 11789 7495 37 | 0.003 % | 4.30/4.33 c | 11340 | 194 126 1501 | 12968 11340 37 | 0.003 % | 4.69/4.72 c | 17106 | 194 126 1501 | 14265 10575 40 | 0.003 % | 5.29/5.31 c | 25755 | 194 126 1501 | 15692 12041 42 | 0.003 % | 6.19/6.27 c | 38729 | 194 126 1501 | 17261 9211 46 | 0.003 % | 7.79/7.84 c | 58191 | 194 126 1501 | 18987 11317 47 | 0.003 % | 8.99/9.00 c =============================================================================== 9.19/9.24 c core #2 9.19/9.24 c ============================[ Search Statistics ]============================== 9.19/9.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.19/9.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.19/9.24 c =============================================================================== 9.19/9.24 c | 0 | 218 150 1787 | 5000 0 nan | 0.000 % | 9.19/9.24 c | 100 | 218 150 1787 | 5500 100 31 | 0.002 % | 9.19/9.25 c | 251 | 218 150 1787 | 6050 251 28 | 0.002 % | 9.19/9.25 c | 476 | 218 150 1787 | 6655 476 29 | 0.002 % | 9.19/9.26 c | 813 | 218 150 1787 | 7320 813 29 | 0.002 % | 9.19/9.28 c | 1320 | 218 150 1787 | 8052 1320 29 | 0.002 % | 9.29/9.30 c | 2079 | 218 150 1787 | 8857 2079 31 | 0.002 % | 9.29/9.34 c | 3218 | 218 150 1787 | 9743 3218 30 | 0.002 % | 9.39/9.41 c | 4927 | 218 150 1787 | 10717 4927 32 | 0.002 % | 9.49/9.54 c | 7489 | 218 150 1787 | 11789 7489 34 | 0.002 % | 9.69/9.77 c | 11335 | 218 150 1787 | 12968 11335 39 | 0.002 % | 10.09/10.17 c | 17101 | 218 150 1787 | 14265 10562 44 | 0.002 % | 10.79/10.81 c | 25751 | 218 150 1787 | 15692 12032 44 | 0.002 % | 11.79/11.87 c | 38726 | 218 150 1787 | 17261 9216 46 | 0.002 % | 13.49/13.51 c | 58188 | 218 150 1787 | 18987 11325 45 | 0.002 % | 14.59/14.64 c =============================================================================== 14.79/14.88 c core #3 14.79/14.88 c ============================[ Search Statistics ]============================== 14.79/14.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.79/14.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.79/14.88 c =============================================================================== 14.79/14.88 c | 0 | 243 173 2070 | 5000 0 nan | 0.000 % | 14.79/14.89 c | 103 | 243 173 2070 | 5500 103 34 | 0.002 % | 14.79/14.89 c | 254 | 243 173 2070 | 6050 254 34 | 0.002 % | 14.89/14.90 c | 485 | 243 173 2070 | 6655 485 32 | 0.002 % | 14.89/14.91 c | 822 | 243 173 2070 | 7320 822 30 | 0.002 % | 14.89/14.93 c | 1328 | 243 173 2070 | 8052 1328 30 | 0.002 % | 14.89/14.96 c | 2087 | 243 173 2070 | 8857 2087 30 | 0.002 % | 14.89/15.00 c | 3227 | 243 173 2070 | 9743 3227 32 | 0.002 % | 15.00/15.06 c | 4935 | 243 173 2070 | 10717 4935 32 | 0.002 % | 15.09/15.19 c | 7497 | 243 173 2070 | 11789 7497 34 | 0.002 % | 15.39/15.43 c | 11342 | 243 173 2070 | 12968 11342 37 | 0.002 % | 15.79/15.81 c | 17108 | 243 173 2070 | 14265 10570 40 | 0.002 % | 16.29/16.40 c | 25758 | 243 173 2070 | 15692 12032 42 | 0.002 % | 17.39/17.42 c | 38735 | 243 173 2070 | 17261 9217 44 | 0.002 % | 18.79/18.86 c =============================================================================== 18.79/18.86 c #cores: 3 18.79/18.86 c Final Weight: 18 18.79/18.86 o 18 18.79/18.86 s OPTIMUM FOUND 18.79/18.86 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 18.79/18.86 c Total CPU time: 18.5712 s
OK 18
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689815-1277895863/watcher-2689815-1277895863 -o /tmp/evaluation-result-2689815-1277895863/solver-2689815-1277895863 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689815-1277895863.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.03 2.00 4/178 10664 /proc/meminfo: memFree=31264212/32951124 swapFree=67111528/67111528 [pid=10664] ppid=10662 vsize=2572 CPUtime=0 /proc/10664/stat : 10664 (wbo1.4a) R 10662 10664 8684 0 -1 4202496 286 0 0 0 0 0 0 0 25 0 1 0 130883536 2633728 201 4089446400 134512640 135751879 4291699424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/10664/statm: 643 201 143 303 0 338 0 [startup+0.0396489 s] /proc/loadavg: 2.01 2.03 2.00 4/178 10664 /proc/meminfo: memFree=31264212/32951124 swapFree=67111528/67111528 [pid=10664] ppid=10662 vsize=2836 CPUtime=0.03 /proc/10664/stat : 10664 (wbo1.4a) R 10662 10664 8684 0 -1 4202496 360 0 0 0 3 0 0 0 25 0 1 0 130883536 2904064 275 4089446400 134512640 135751879 4291699424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/10664/statm: 709 275 143 303 0 404 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2836 [startup+0.100648 s] /proc/loadavg: 2.01 2.03 2.00 4/178 10664 /proc/meminfo: memFree=31264212/32951124 swapFree=67111528/67111528 [pid=10664] ppid=10662 vsize=3364 CPUtime=0.09 /proc/10664/stat : 10664 (wbo1.4a) R 10662 10664 8684 0 -1 4202496 473 0 0 0 9 0 0 0 25 0 1 0 130883536 3444736 388 4089446400 134512640 135751879 4291699424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/10664/statm: 841 388 143 303 0 536 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3364 [startup+0.300601 s] /proc/loadavg: 2.01 2.03 2.00 4/178 10664 /proc/meminfo: memFree=31264212/32951124 swapFree=67111528/67111528 [pid=10664] ppid=10662 vsize=4424 CPUtime=0.29 /proc/10664/stat : 10664 (wbo1.4a) R 10662 10664 8684 0 -1 4202496 770 0 0 0 29 0 0 0 25 0 1 0 130883536 4530176 685 4089446400 134512640 135751879 4291699424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/10664/statm: 1106 685 143 303 0 801 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4424 [startup+0.700534 s] /proc/loadavg: 2.01 2.03 2.00 4/178 10664 /proc/meminfo: memFree=31264212/32951124 swapFree=67111528/67111528 [pid=10664] ppid=10662 vsize=6184 CPUtime=0.69 /proc/10664/stat : 10664 (wbo1.4a) R 10662 10664 8684 0 -1 4202496 1195 0 0 0 68 1 0 0 25 0 1 0 130883536 6332416 1110 4089446400 134512640 135751879 4291699424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/10664/statm: 1546 1110 143 303 0 1241 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6184 [startup+1.50039 s] /proc/loadavg: 2.01 2.03 2.00 3/179 10665 /proc/meminfo: memFree=31258872/32951124 swapFree=67111528/67111528 [pid=10664] ppid=10662 vsize=9616 CPUtime=1.49 /proc/10664/stat : 10664 (wbo1.4a) R 10662 10664 8684 0 -1 4202496 2041 0 0 0 146 3 0 0 25 0 1 0 130883536 9846784 1956 4089446400 134512640 135751879 4291699424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/10664/statm: 2404 1956 143 303 0 2099 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9616 [startup+3.1011 s] /proc/loadavg: 2.01 2.03 2.00 3/179 10665 /proc/meminfo: memFree=31254408/32951124 swapFree=67111528/67111528 [pid=10664] ppid=10662 vsize=15956 CPUtime=3.09 /proc/10664/stat : 10664 (wbo1.4a) R 10662 10664 8684 0 -1 4202496 3622 0 0 0 303 6 0 0 25 0 1 0 130883536 16338944 3537 4089446400 134512640 135751879 4291699424 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/10664/statm: 3989 3537 143 303 0 3684 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15956 [startup+6.30054 s] /proc/loadavg: 2.01 2.03 2.00 3/179 10665 /proc/meminfo: memFree=31246736/32951124 swapFree=67111528/67111528 [pid=10664] ppid=10662 vsize=22688 CPUtime=6.29 /proc/10664/stat : 10664 (wbo1.4a) R 10662 10664 8684 0 -1 4202496 5325 0 0 0 618 11 0 0 25 0 1 0 130883536 23232512 5240 4089446400 134512640 135751879 4291699424 18446744073709551615 134616374 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/10664/statm: 5672 5240 146 303 0 5367 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22688 [startup+12.7004 s] /proc/loadavg: 2.01 2.03 2.00 3/179 10666 /proc/meminfo: memFree=31229436/32951124 swapFree=67111528/67111528 [pid=10664] ppid=10662 vsize=39340 CPUtime=12.69 /proc/10664/stat : 10664 (wbo1.4a) R 10662 10664 8684 0 -1 4202496 9491 0 0 0 1248 21 0 0 25 0 1 0 130883536 40284160 9406 4089446400 134512640 135751879 4291699424 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/10664/statm: 9835 9406 146 303 0 9530 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 39340 Solver just ended. Dumping a history of the last processes samples [startup+15.9008 s] /proc/loadavg: 2.01 2.03 2.00 3/179 10666 /proc/meminfo: memFree=31218524/32951124 swapFree=67111528/67111528 [pid=10664] ppid=10662 vsize=48620 CPUtime=15.89 /proc/10664/stat : 10664 (wbo1.4a) R 10662 10664 8684 0 -1 4202496 11808 0 0 0 1564 25 0 0 25 0 1 0 130883536 49786880 11723 4089446400 134512640 135751879 4291699424 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/10664/statm: 12155 11723 146 303 0 11850 0 Current children cumulated CPU time (s) 15.89 Current children cumulated vsize (KiB) 48620 [startup+17.5006 s] /proc/loadavg: 2.01 2.03 2.00 3/179 10666 /proc/meminfo: memFree=31215176/32951124 swapFree=67111528/67111528 [pid=10664] ppid=10662 vsize=52052 CPUtime=17.5 /proc/10664/stat : 10664 (wbo1.4a) R 10662 10664 8684 0 -1 4202496 12668 0 0 0 1723 27 0 0 25 0 1 0 130883536 53301248 12583 4089446400 134512640 135751879 4291699424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/10664/statm: 13013 12583 146 303 0 12708 0 Current children cumulated CPU time (s) 17.5 Current children cumulated vsize (KiB) 52052 [startup+18.3004 s] /proc/loadavg: 2.01 2.03 2.00 3/179 10666 /proc/meminfo: memFree=31215176/32951124 swapFree=67111528/67111528 [pid=10664] ppid=10662 vsize=54164 CPUtime=18.29 /proc/10664/stat : 10664 (wbo1.4a) R 10662 10664 8684 0 -1 4202496 13208 0 0 0 1801 28 0 0 25 0 1 0 130883536 55463936 13123 4089446400 134512640 135751879 4291699424 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/10664/statm: 13541 13123 146 303 0 13236 0 Current children cumulated CPU time (s) 18.29 Current children cumulated vsize (KiB) 54164 [startup+18.7063 s] /proc/loadavg: 2.09 2.04 2.01 3/179 10666 /proc/meminfo: memFree=31212200/32951124 swapFree=67111528/67111528 [pid=10664] ppid=10662 vsize=55360 CPUtime=18.7 /proc/10664/stat : 10664 (wbo1.4a) R 10662 10664 8684 0 -1 4202496 13506 0 0 0 1841 29 0 0 25 0 1 0 130883536 56688640 13421 4089446400 134512640 135751879 4291699424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/10664/statm: 13840 13421 146 303 0 13535 0 Current children cumulated CPU time (s) 18.7 Current children cumulated vsize (KiB) 55360 [startup+18.8003 s] /proc/loadavg: 2.09 2.04 2.01 3/179 10666 /proc/meminfo: memFree=31212200/32951124 swapFree=67111528/67111528 [pid=10664] ppid=10662 vsize=55756 CPUtime=18.79 /proc/10664/stat : 10664 (wbo1.4a) R 10662 10664 8684 0 -1 4202496 13588 0 0 0 1850 29 0 0 25 0 1 0 130883536 57094144 13503 4089446400 134512640 135751879 4291699424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/10664/statm: 13939 13503 146 303 0 13634 0 Current children cumulated CPU time (s) 18.79 Current children cumulated vsize (KiB) 55756 Child status: 0 Real time (s): 18.8719 CPU time (s): 18.8721 CPU user time (s): 18.5712 CPU system time (s): 0.300954 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 55756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.5712 system time used= 0.300954 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13670 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= 42 runsolver used 0.036994 second user time and 0.068989 second system time The end
Begin job on node108 at 2010-06-30 13:04:23 IDJOB=2689815 IDBENCH=78767 IDSOLVER=1200 FILE ID=node108/2689815-1277895863 PBS_JOBID= 11197138 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111216823--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689815-1277895863/watcher-2689815-1277895863 -o /tmp/evaluation-result-2689815-1277895863/solver-2689815-1277895863 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689815-1277895863.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9ed46c486c107ad7f5d3527fe7805777 RANDOM SEED=841887695 node108.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.855 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.855 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 : 5320.05 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.855 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.855 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.855 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.79 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.855 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.855 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.74 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.855 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31264740 kB Buffers: 180488 kB Cached: 1170036 kB SwapCached: 0 kB Active: 712508 kB Inactive: 832328 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31264740 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2768 kB Writeback: 0 kB AnonPages: 194104 kB Mapped: 16176 kB Slab: 77968 kB PageTables: 4700 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 340448 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= 74204 MiB End job on node108 at 2010-06-30 13:04:42