Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 25.7841 | 25.7873 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216823--soft-33-100-0.wbo |
MD5SUM | 89a63c055aa545373493189617e0eb71 |
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 | 4 |
Best CPU time to get the best result obtained on this benchmark | 0.417935 |
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 | 69 |
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 | 3204 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 3203 |
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-2689966-1277899728.wbo. 0.00/0.00 c Instance file HOME/instance-2689966-1277899728.wbo 0.00/0.00 c File size is 10307 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 | 101 | 169 101 1205 | 5500 101 30 | 0.004 % | 0.00/0.00 c | 251 | 169 101 1205 | 6050 251 29 | 0.004 % | 0.00/0.01 c | 476 | 169 101 1205 | 6655 476 31 | 0.004 % | 0.00/0.02 c | 813 | 169 101 1205 | 7320 813 31 | 0.004 % | 0.00/0.03 c | 1319 | 169 101 1205 | 8052 1319 32 | 0.004 % | 0.03/0.05 c | 2079 | 169 101 1205 | 8857 2079 33 | 0.004 % | 0.03/0.09 c | 3220 | 169 101 1205 | 9743 3220 35 | 0.004 % | 0.09/0.16 c | 4928 | 169 101 1205 | 10717 4928 37 | 0.004 % | 0.19/0.28 c | 7491 | 169 101 1205 | 11789 7491 38 | 0.004 % | 0.49/0.52 c | 11338 | 169 101 1205 | 12968 11338 39 | 0.004 % | 0.89/0.92 c | 17105 | 169 101 1205 | 14265 10561 44 | 0.004 % | 1.48/1.55 c | 25757 | 169 101 1205 | 15692 12030 45 | 0.004 % | 2.38/2.46 c | 38732 | 169 101 1205 | 17261 9212 44 | 0.004 % | 3.39/3.43 c =============================================================================== 3.59/3.65 c core #1 3.59/3.65 c ============================[ Search Statistics ]============================== 3.59/3.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.65 c =============================================================================== 3.59/3.65 c | 0 | 236 169 2203 | 5000 0 nan | 0.000 % | 3.59/3.65 c | 102 | 236 169 2203 | 5500 102 30 | 0.002 % | 3.59/3.66 c | 252 | 236 169 2203 | 6050 252 34 | 0.002 % | 3.59/3.66 c | 477 | 236 169 2203 | 6655 477 33 | 0.002 % | 3.59/3.67 c | 816 | 236 169 2203 | 7320 816 32 | 0.002 % | 3.59/3.69 c | 1323 | 236 169 2203 | 8052 1323 32 | 0.002 % | 3.69/3.71 c | 2082 | 236 169 2203 | 8857 2082 32 | 0.002 % | 3.69/3.76 c | 3224 | 236 169 2203 | 9743 3224 35 | 0.002 % | 3.79/3.84 c | 4932 | 236 169 2203 | 10717 4932 37 | 0.002 % | 3.89/3.96 c | 7494 | 236 169 2203 | 11789 7494 40 | 0.002 % | 4.19/4.24 c | 11338 | 236 169 2203 | 12968 11338 42 | 0.002 % | 4.59/4.65 c | 17105 | 236 169 2203 | 14265 10590 45 | 0.002 % | 5.29/5.35 c | 25755 | 236 169 2203 | 15692 12053 45 | 0.002 % | 6.29/6.34 c | 38729 | 236 169 2203 | 17261 9235 46 | 0.002 % | 7.19/7.24 c =============================================================================== 7.39/7.45 c core #2 7.39/7.45 c ============================[ Search Statistics ]============================== 7.39/7.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.39/7.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.39/7.45 c =============================================================================== 7.39/7.45 c | 0 | 302 235 3176 | 5000 0 nan | 0.000 % | 7.39/7.45 c | 100 | 302 235 3176 | 5500 100 32 | 0.001 % | 7.39/7.46 c | 250 | 302 235 3176 | 6050 250 37 | 0.001 % | 7.39/7.46 c | 475 | 302 235 3176 | 6655 475 33 | 0.001 % | 7.39/7.47 c | 812 | 302 235 3176 | 7320 812 33 | 0.001 % | 7.39/7.49 c | 1318 | 302 235 3176 | 8052 1318 34 | 0.001 % | 7.49/7.52 c | 2077 | 302 235 3176 | 8857 2077 33 | 0.001 % | 7.49/7.56 c | 3217 | 302 235 3176 | 9743 3217 34 | 0.001 % | 7.59/7.64 c | 4925 | 302 235 3176 | 10717 4925 35 | 0.001 % | 7.70/7.79 c | 7488 | 302 235 3176 | 11789 7488 37 | 0.001 % | 7.99/8.03 c | 11332 | 302 235 3176 | 12968 11332 39 | 0.001 % | 8.39/8.42 c | 17100 | 302 235 3176 | 14265 10564 42 | 0.001 % | 9.09/9.17 c | 25751 | 302 235 3176 | 15692 12025 47 | 0.001 % | 10.19/10.23 c | 38727 | 302 235 3176 | 17261 9216 47 | 0.001 % | 11.79/11.82 c | 58190 | 302 235 3176 | 18987 11316 47 | 0.001 % | 14.39/14.40 c | 87383 | 302 235 3176 | 20886 11804 48 | 0.050 % | 15.09/15.12 c =============================================================================== 15.49/15.56 c core #3 15.49/15.56 c ============================[ Search Statistics ]============================== 15.49/15.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.49/15.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.49/15.56 c =============================================================================== 15.49/15.56 c | 0 | 371 301 4155 | 5000 0 nan | 0.000 % | 15.49/15.57 c | 100 | 371 301 4155 | 5500 100 32 | 0.001 % | 15.49/15.57 c | 254 | 371 301 4155 | 6050 254 38 | 0.001 % | 15.49/15.58 c | 479 | 371 301 4155 | 6655 479 39 | 0.001 % | 15.49/15.59 c | 816 | 371 301 4155 | 7320 816 38 | 0.001 % | 15.59/15.61 c | 1322 | 371 301 4155 | 8052 1322 35 | 0.001 % | 15.59/15.64 c | 2083 | 371 301 4155 | 8857 2083 34 | 0.001 % | 15.59/15.69 c | 3223 | 371 301 4155 | 9743 3223 37 | 0.001 % | 15.69/15.79 c | 4933 | 371 301 4155 | 10717 4933 39 | 0.001 % | 15.89/15.92 c | 7496 | 371 301 4155 | 11789 7496 40 | 0.001 % | 16.09/16.16 c | 11340 | 371 301 4155 | 12968 11340 40 | 0.001 % | 16.59/16.62 c | 17108 | 371 301 4155 | 14265 10570 45 | 0.001 % | 17.29/17.30 c | 25760 | 371 301 4155 | 15692 12039 46 | 0.001 % | 18.29/18.34 c | 38738 | 371 301 4155 | 17261 9222 43 | 0.001 % | 19.80/19.87 c | 58200 | 371 301 4155 | 18987 11333 43 | 0.001 % | 22.09/22.19 c | 87392 | 293 301 4155 | 20886 976 35 | 21.025 % | 22.19/22.22 c =============================================================================== 22.59/22.61 c core #4 22.59/22.61 c ============================[ Search Statistics ]============================== 22.59/22.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.59/22.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.59/22.61 c =============================================================================== 22.59/22.61 c | 0 | 435 366 5119 | 5000 0 nan | 0.000 % | 22.59/22.62 c | 100 | 435 366 5119 | 5500 100 27 | 0.001 % | 22.59/22.63 c | 250 | 435 366 5119 | 6050 250 30 | 0.001 % | 22.59/22.63 c | 477 | 435 366 5119 | 6655 477 33 | 0.001 % | 22.59/22.64 c | 814 | 435 366 5119 | 7320 814 38 | 0.001 % | 22.59/22.66 c | 1320 | 435 366 5119 | 8052 1320 38 | 0.001 % | 22.59/22.69 c | 2080 | 435 366 5119 | 8857 2080 39 | 0.001 % | 22.69/22.73 c | 3220 | 435 366 5119 | 9743 3220 38 | 0.001 % | 22.79/22.81 c | 4928 | 435 366 5119 | 10717 4928 37 | 0.001 % | 22.89/22.95 c | 7492 | 435 366 5119 | 11789 7492 38 | 0.001 % | 23.19/23.25 c | 11338 | 435 366 5119 | 12968 11338 42 | 0.001 % | 23.69/23.76 c | 17104 | 435 366 5119 | 14265 10571 48 | 0.001 % | 24.49/24.51 c | 25754 | 435 366 5119 | 15692 12043 47 | 0.001 % | 25.68/25.70 c | 38729 | 435 366 5119 | 17261 9244 49 | 0.001 % | 25.68/25.78 c =============================================================================== 25.68/25.78 c #cores: 4 25.68/25.78 c Final Weight: 4 25.68/25.78 o 4 25.68/25.78 s OPTIMUM FOUND 25.68/25.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 25.68/25.78 c Total CPU time: 25.4031 s
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689966-1277899728/watcher-2689966-1277899728 -o /tmp/evaluation-result-2689966-1277899728/solver-2689966-1277899728 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689966-1277899728.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 2.00 4/196 11216 /proc/meminfo: memFree=31564060/32951124 swapFree=67111528/67111528 [pid=11216] ppid=11214 vsize=2576 CPUtime=0 /proc/11216/stat : 11216 (wbo1.4a) R 11214 11216 10347 0 -1 4202496 289 0 0 0 0 0 0 0 25 0 1 0 131270955 2637824 205 4089446400 134512640 135751879 4290022384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11216/statm: 644 205 143 303 0 339 0 [startup+0.037025 s] /proc/loadavg: 2.00 2.00 2.00 4/196 11216 /proc/meminfo: memFree=31564060/32951124 swapFree=67111528/67111528 [pid=11216] ppid=11214 vsize=2972 CPUtime=0.03 /proc/11216/stat : 11216 (wbo1.4a) R 11214 11216 10347 0 -1 4202496 380 0 0 0 3 0 0 0 25 0 1 0 131270955 3043328 296 4089446400 134512640 135751879 4290022384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11216/statm: 743 296 143 303 0 438 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2972 [startup+0.100994 s] /proc/loadavg: 2.00 2.00 2.00 4/196 11216 /proc/meminfo: memFree=31564060/32951124 swapFree=67111528/67111528 [pid=11216] ppid=11214 vsize=3500 CPUtime=0.09 /proc/11216/stat : 11216 (wbo1.4a) R 11214 11216 10347 0 -1 4202496 535 0 0 0 9 0 0 0 25 0 1 0 131270955 3584000 451 4089446400 134512640 135751879 4290022384 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11216/statm: 875 451 143 303 0 570 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3500 [startup+0.300946 s] /proc/loadavg: 2.00 2.00 2.00 4/196 11216 /proc/meminfo: memFree=31564060/32951124 swapFree=67111528/67111528 [pid=11216] ppid=11214 vsize=4952 CPUtime=0.29 /proc/11216/stat : 11216 (wbo1.4a) R 11214 11216 10347 0 -1 4202496 883 0 0 0 28 1 0 0 25 0 1 0 131270955 5070848 799 4089446400 134512640 135751879 4290022384 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11216/statm: 1238 799 143 303 0 933 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4952 [startup+0.700873 s] /proc/loadavg: 2.00 2.00 2.00 4/196 11216 /proc/meminfo: memFree=31564060/32951124 swapFree=67111528/67111528 [pid=11216] ppid=11214 vsize=6932 CPUtime=0.69 /proc/11216/stat : 11216 (wbo1.4a) R 11214 11216 10347 0 -1 4202496 1367 0 0 0 68 1 0 0 25 0 1 0 131270955 7098368 1283 4089446400 134512640 135751879 4290022384 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11216/statm: 1733 1283 143 303 0 1428 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6932 [startup+1.50077 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11217 /proc/meminfo: memFree=31557976/32951124 swapFree=67111528/67111528 [pid=11216] ppid=11214 vsize=10892 CPUtime=1.48 /proc/11216/stat : 11216 (wbo1.4a) R 11214 11216 10347 0 -1 4202496 2356 0 0 0 146 2 0 0 25 0 1 0 131270955 11153408 2272 4089446400 134512640 135751879 4290022384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11216/statm: 2723 2272 143 303 0 2418 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10892 [startup+3.10047 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11217 /proc/meminfo: memFree=31553192/32951124 swapFree=67111528/67111528 [pid=11216] ppid=11214 vsize=18416 CPUtime=3.09 /proc/11216/stat : 11216 (wbo1.4a) R 11214 11216 10347 0 -1 4202496 4264 0 0 0 304 5 0 0 25 0 1 0 131270955 18857984 4180 4089446400 134512640 135751879 4290022384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11216/statm: 4604 4180 143 303 0 4299 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18416 [startup+6.30085 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11217 /proc/meminfo: memFree=31543892/32951124 swapFree=67111528/67111528 [pid=11216] ppid=11214 vsize=26204 CPUtime=6.29 /proc/11216/stat : 11216 (wbo1.4a) R 11214 11216 10347 0 -1 4202496 6191 0 0 0 620 9 0 0 22 0 1 0 131270955 26832896 6107 4089446400 134512640 135751879 4290022384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11216/statm: 6551 6107 146 303 0 6246 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26204 [startup+12.7006 s] /proc/loadavg: 2.08 2.02 2.01 3/197 11217 /proc/meminfo: memFree=31522472/32951124 swapFree=67111528/67111528 [pid=11216] ppid=11214 vsize=47384 CPUtime=12.69 /proc/11216/stat : 11216 (wbo1.4a) R 11214 11216 10347 0 -1 4202496 11477 0 0 0 1251 18 0 0 25 0 1 0 131270955 48521216 11393 4089446400 134512640 135751879 4290022384 18446744073709551615 134616819 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11216/statm: 11846 11393 146 303 0 11541 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 47384 [startup+25.5002 s] /proc/loadavg: 2.06 2.02 2.00 3/197 11218 /proc/meminfo: memFree=31489928/32951124 swapFree=67111528/67111528 [pid=11216] ppid=11214 vsize=77860 CPUtime=25.49 /proc/11216/stat : 11216 (wbo1.4a) R 11214 11216 10347 0 -1 4202496 19132 0 0 0 2512 37 0 0 25 0 1 0 131270955 79728640 19048 4089446400 134512640 135751879 4290022384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11216/statm: 19465 19048 146 303 0 19160 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 77860 Solver just ended. Dumping a history of the last processes samples [startup+25.7002 s] /proc/loadavg: 2.06 2.02 2.00 3/197 11218 /proc/meminfo: memFree=31489928/32951124 swapFree=67111528/67111528 [pid=11216] ppid=11214 vsize=78388 CPUtime=25.68 /proc/11216/stat : 11216 (wbo1.4a) R 11214 11216 10347 0 -1 4202496 19242 0 0 0 2531 37 0 0 25 0 1 0 131270955 80269312 19158 4089446400 134512640 135751879 4290022384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11216/statm: 19597 19158 146 303 0 19292 0 Current children cumulated CPU time (s) 25.68 Current children cumulated vsize (KiB) 78388 Child status: 0 Real time (s): 25.7873 CPU time (s): 25.7841 CPU user time (s): 25.4031 CPU system time (s): 0.380942 CPU usage (%): 99.9876 Max. virtual memory (cumulated for all children) (KiB): 78388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 25.4031 system time used= 0.380942 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19307 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.047992 second user time and 0.080987 second system time The end
Begin job on node102 at 2010-06-30 14:08:48 IDJOB=2689966 IDBENCH=78865 IDSOLVER=1200 FILE ID=node102/2689966-1277899728 PBS_JOBID= 11197156 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111216823--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689966-1277899728/watcher-2689966-1277899728 -o /tmp/evaluation-result-2689966-1277899728/solver-2689966-1277899728 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689966-1277899728.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 89a63c055aa545373493189617e0eb71 RANDOM SEED=280844927 node102.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.833 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.66 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.833 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.833 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.833 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.85 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.833 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 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.833 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: 31564464 kB Buffers: 181668 kB Cached: 729772 kB SwapCached: 0 kB Active: 681704 kB Inactive: 564344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31564464 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2896 kB Writeback: 0 kB AnonPages: 334624 kB Mapped: 20412 kB Slab: 77104 kB PageTables: 5448 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1652152 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= 74208 MiB End job on node102 at 2010-06-30 14:09:14