Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 16.2385 | 16.2418 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680--soft-0-100-0.wbo |
MD5SUM | bf6c20afd58a85c8a111061436284549 |
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 | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.301953 |
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 | 1190 |
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-2690064-1277923244.wbo. 0.00/0.00 c Instance file HOME/instance-2690064-1277923244.wbo 0.00/0.00 c File size is 10454 bytes. 0.00/0.00 c Highest Coefficient sum: 1190 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 | 102 | 169 101 1205 | 5500 102 36 | 0.004 % | 0.00/0.00 c | 253 | 169 101 1205 | 6050 253 41 | 0.004 % | 0.00/0.01 c | 478 | 169 101 1205 | 6655 478 38 | 0.004 % | 0.00/0.02 c | 815 | 169 101 1205 | 7320 815 34 | 0.004 % | 0.00/0.03 c | 1322 | 169 101 1205 | 8052 1322 33 | 0.004 % | 0.00/0.06 c | 2082 | 169 101 1205 | 8857 2082 35 | 0.004 % | 0.09/0.10 c | 3221 | 169 101 1205 | 9743 3221 34 | 0.004 % | 0.09/0.18 c | 4930 | 169 101 1205 | 10717 4930 35 | 0.004 % | 0.19/0.29 c | 7492 | 169 101 1205 | 11789 7492 39 | 0.004 % | 0.48/0.52 c | 11337 | 169 101 1205 | 12968 11337 41 | 0.004 % | 0.79/0.88 c | 17103 | 169 101 1205 | 14265 10565 46 | 0.004 % | 1.39/1.47 c | 25752 | 169 101 1205 | 15692 12025 45 | 0.004 % | 2.39/2.43 c | 38726 | 169 101 1205 | 17261 9207 49 | 0.004 % | 4.09/4.10 c | 58187 | 169 101 1205 | 18987 11298 46 | 0.004 % | 4.89/4.92 c =============================================================================== 5.18/5.23 c core #1 5.18/5.23 c ============================[ Search Statistics ]============================== 5.18/5.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.18/5.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.18/5.23 c =============================================================================== 5.18/5.23 c | 0 | 264 200 2568 | 5000 0 nan | 0.000 % | 5.18/5.24 c | 101 | 264 200 2568 | 5500 101 30 | 0.001 % | 5.18/5.24 c | 252 | 264 200 2568 | 6050 252 33 | 0.001 % | 5.18/5.25 c | 478 | 264 200 2568 | 6655 478 34 | 0.001 % | 5.18/5.26 c | 815 | 264 200 2568 | 7320 815 34 | 0.001 % | 5.18/5.27 c | 1321 | 264 200 2568 | 8052 1321 35 | 0.001 % | 5.29/5.30 c | 2081 | 264 200 2568 | 8857 2081 36 | 0.001 % | 5.29/5.34 c | 3222 | 264 200 2568 | 9743 3222 38 | 0.001 % | 5.39/5.43 c | 4931 | 264 200 2568 | 10717 4931 38 | 0.001 % | 5.49/5.56 c | 7495 | 264 200 2568 | 11789 7495 40 | 0.001 % | 5.78/5.81 c | 11342 | 264 200 2568 | 12968 11342 41 | 0.001 % | 6.18/6.24 c | 17109 | 264 200 2568 | 14265 10577 44 | 0.001 % | 6.78/6.89 c | 25759 | 264 200 2568 | 15692 12035 45 | 0.001 % | 7.89/7.90 c | 38733 | 264 200 2568 | 17261 9234 44 | 0.001 % | 8.59/8.62 c =============================================================================== 8.79/8.84 c core #2 8.79/8.84 c ============================[ Search Statistics ]============================== 8.79/8.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.79/8.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.79/8.84 c =============================================================================== 8.79/8.84 c | 0 | 358 295 3884 | 5000 0 nan | 0.000 % | 8.79/8.85 c | 100 | 358 295 3884 | 5500 100 24 | 0.001 % | 8.79/8.85 c | 251 | 358 295 3884 | 6050 251 28 | 0.001 % | 8.79/8.86 c | 476 | 358 295 3884 | 6655 476 28 | 0.001 % | 8.79/8.87 c | 814 | 358 295 3884 | 7320 814 33 | 0.001 % | 8.79/8.89 c | 1321 | 358 295 3884 | 8052 1321 34 | 0.001 % | 8.88/8.92 c | 2080 | 358 295 3884 | 8857 2080 34 | 0.001 % | 8.88/8.96 c | 3220 | 358 295 3884 | 9743 3220 36 | 0.001 % | 8.99/9.03 c | 4930 | 358 295 3884 | 10717 4930 38 | 0.001 % | 9.08/9.17 c | 7493 | 358 295 3884 | 11789 7493 39 | 0.001 % | 9.38/9.41 c | 11339 | 358 295 3884 | 12968 11339 39 | 0.001 % | 9.79/9.81 c | 17106 | 358 295 3884 | 14265 10569 42 | 0.001 % | 10.39/10.43 c | 25755 | 358 295 3884 | 15692 12045 41 | 0.001 % | 11.39/11.40 c | 38730 | 358 295 3884 | 17261 9122 43 | 0.001 % | 12.68/12.77 c | 58191 | 358 295 3884 | 18987 11232 45 | 0.001 % | 14.69/14.70 c =============================================================================== 14.99/15.08 c core #3 14.99/15.08 c ============================[ Search Statistics ]============================== 14.99/15.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.99/15.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.99/15.08 c =============================================================================== 14.99/15.08 c | 0 | 457 390 5210 | 5000 0 nan | 0.000 % | 14.99/15.09 c | 100 | 457 390 5210 | 5500 100 38 | 0.000 % | 15.09/15.10 c | 251 | 457 390 5210 | 6050 251 34 | 0.000 % | 15.09/15.11 c | 478 | 457 390 5210 | 6655 478 31 | 0.000 % | 15.09/15.12 c | 819 | 457 390 5210 | 7320 819 29 | 0.000 % | 15.09/15.13 c | 1326 | 457 390 5210 | 8052 1326 29 | 0.000 % | 15.09/15.16 c | 2085 | 457 390 5210 | 8857 2085 31 | 0.000 % | 15.18/15.21 c | 3224 | 457 390 5210 | 9743 3224 32 | 0.000 % | 15.18/15.28 c | 4934 | 457 390 5210 | 10717 4934 33 | 0.000 % | 15.39/15.40 c | 7497 | 457 390 5210 | 11789 7497 35 | 0.000 % | 15.59/15.67 c | 11343 | 457 390 5210 | 12968 11343 37 | 0.000 % | 15.98/16.06 c | 17109 | 457 390 5210 | 14265 10564 42 | 0.000 % | 16.19/16.23 c =============================================================================== 16.19/16.23 c #cores: 3 16.19/16.23 c Final Weight: 3 16.19/16.23 o 3 16.19/16.23 s OPTIMUM FOUND 16.19/16.23 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 16.19/16.23 c Total CPU time: 15.7506 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690064-1277923244/watcher-2690064-1277923244 -o /tmp/evaluation-result-2690064-1277923244/solver-2690064-1277923244 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690064-1277923244.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.02 2.00 4/178 17158 /proc/meminfo: memFree=31148344/32951124 swapFree=67111528/67111528 [pid=17158] ppid=17156 vsize=2576 CPUtime=0 /proc/17158/stat : 17158 (wbo1.4a) R 17156 17158 14469 0 -1 4202496 293 0 0 0 0 0 0 0 22 0 1 0 133620384 2637824 208 4089446400 134512640 135751879 4294106144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/17158/statm: 644 208 143 303 0 339 0 [startup+0.0991919 s] /proc/loadavg: 2.00 2.02 2.00 4/178 17158 /proc/meminfo: memFree=31148344/32951124 swapFree=67111528/67111528 [pid=17158] ppid=17156 vsize=3500 CPUtime=0.08 /proc/17158/stat : 17158 (wbo1.4a) R 17156 17158 14469 0 -1 4202496 520 0 0 0 8 0 0 0 22 0 1 0 133620384 3584000 435 4089446400 134512640 135751879 4294106144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/17158/statm: 875 436 143 303 0 570 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3500 [startup+0.101202 s] /proc/loadavg: 2.00 2.02 2.00 4/178 17158 /proc/meminfo: memFree=31148344/32951124 swapFree=67111528/67111528 [pid=17158] ppid=17156 vsize=3500 CPUtime=0.09 /proc/17158/stat : 17158 (wbo1.4a) R 17156 17158 14469 0 -1 4202496 525 0 0 0 9 0 0 0 22 0 1 0 133620384 3584000 440 4089446400 134512640 135751879 4294106144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/17158/statm: 875 440 143 303 0 570 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3500 [startup+0.301156 s] /proc/loadavg: 2.00 2.02 2.00 4/178 17158 /proc/meminfo: memFree=31148344/32951124 swapFree=67111528/67111528 [pid=17158] ppid=17156 vsize=5084 CPUtime=0.29 /proc/17158/stat : 17158 (wbo1.4a) R 17156 17158 14469 0 -1 4202496 913 0 0 0 28 1 0 0 22 0 1 0 133620384 5206016 828 4089446400 134512640 135751879 4294106144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/17158/statm: 1271 828 143 303 0 966 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5084 [startup+0.701102 s] /proc/loadavg: 2.00 2.02 2.00 4/178 17158 /proc/meminfo: memFree=31148344/32951124 swapFree=67111528/67111528 [pid=17158] ppid=17156 vsize=7240 CPUtime=0.69 /proc/17158/stat : 17158 (wbo1.4a) R 17156 17158 14469 0 -1 4202496 1469 0 0 0 66 3 0 0 24 0 1 0 133620384 7413760 1384 4089446400 134512640 135751879 4294106144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17158/statm: 1810 1384 143 303 0 1505 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7240 [startup+1.50093 s] /proc/loadavg: 2.00 2.02 2.00 3/179 17160 /proc/meminfo: memFree=31142012/32951124 swapFree=67111528/67111528 [pid=17158] ppid=17156 vsize=11596 CPUtime=1.49 /proc/17158/stat : 17158 (wbo1.4a) R 17156 17158 14469 0 -1 4202496 2543 0 0 0 144 5 0 0 25 0 1 0 133620384 11874304 2458 4089446400 134512640 135751879 4294106144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17158/statm: 2899 2458 143 303 0 2594 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11596 [startup+3.10066 s] /proc/loadavg: 2.00 2.02 2.00 3/179 17160 /proc/meminfo: memFree=31136060/32951124 swapFree=67111528/67111528 [pid=17158] ppid=17156 vsize=18988 CPUtime=3.09 /proc/17158/stat : 17158 (wbo1.4a) R 17156 17158 14469 0 -1 4202496 4411 0 0 0 301 8 0 0 25 0 1 0 133620384 19443712 4326 4089446400 134512640 135751879 4294106144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17158/statm: 4747 4326 143 303 0 4442 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18988 [startup+6.3011 s] /proc/loadavg: 2.00 2.02 2.00 3/179 17160 /proc/meminfo: memFree=31121248/32951124 swapFree=67111528/67111528 [pid=17158] ppid=17156 vsize=29564 CPUtime=6.29 /proc/17158/stat : 17158 (wbo1.4a) R 17156 17158 14469 0 -1 4202496 7050 0 0 0 610 19 0 0 25 0 1 0 133620384 30273536 6965 4089446400 134512640 135751879 4294106144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17158/statm: 7391 6965 146 303 0 7086 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29564 [startup+12.701 s] /proc/loadavg: 2.00 2.02 2.00 3/179 17160 /proc/meminfo: memFree=31109380/32951124 swapFree=67111528/67111528 [pid=17158] ppid=17156 vsize=45272 CPUtime=12.68 /proc/17158/stat : 17158 (wbo1.4a) R 17156 17158 14469 0 -1 4202496 10981 0 0 0 1231 37 0 0 25 0 1 0 133620384 46358528 10896 4089446400 134512640 135751879 4294106144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17158/statm: 11318 10896 146 303 0 11013 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 45272 Solver just ended. Dumping a history of the last processes samples [startup+14.3067 s] /proc/loadavg: 2.00 2.02 2.00 3/179 17160 /proc/meminfo: memFree=31098964/32951124 swapFree=67111528/67111528 [pid=17158] ppid=17156 vsize=52828 CPUtime=14.29 /proc/17158/stat : 17158 (wbo1.4a) R 17156 17158 14469 0 -1 4202496 12856 0 0 0 1387 42 0 0 25 0 1 0 133620384 54095872 12771 4089446400 134512640 135751879 4294106144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17158/statm: 13207 12771 146 303 0 12902 0 Current children cumulated CPU time (s) 14.29 Current children cumulated vsize (KiB) 52828 [startup+15.1005 s] /proc/loadavg: 2.00 2.02 2.00 3/179 17160 /proc/meminfo: memFree=31098964/32951124 swapFree=67111528/67111528 [pid=17158] ppid=17156 vsize=57580 CPUtime=15.09 /proc/17158/stat : 17158 (wbo1.4a) R 17156 17158 14469 0 -1 4202496 14028 0 0 0 1465 44 0 0 25 0 1 0 133620384 58961920 13943 4089446400 134512640 135751879 4294106144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17158/statm: 14395 13943 146 303 0 14090 0 Current children cumulated CPU time (s) 15.09 Current children cumulated vsize (KiB) 57580 [startup+15.9004 s] /proc/loadavg: 2.00 2.02 2.00 3/179 17160 /proc/meminfo: memFree=31094012/32951124 swapFree=67111528/67111528 [pid=17158] ppid=17156 vsize=57580 CPUtime=15.89 /proc/17158/stat : 17158 (wbo1.4a) R 17156 17158 14469 0 -1 4202496 14028 0 0 0 1542 47 0 0 25 0 1 0 133620384 58961920 13943 4089446400 134512640 135751879 4294106144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17158/statm: 14395 13943 146 303 0 14090 0 Current children cumulated CPU time (s) 15.89 Current children cumulated vsize (KiB) 57580 [startup+16.1004 s] /proc/loadavg: 2.00 2.02 2.00 3/179 17160 /proc/meminfo: memFree=31094012/32951124 swapFree=67111528/67111528 [pid=17158] ppid=17156 vsize=57580 CPUtime=16.08 /proc/17158/stat : 17158 (wbo1.4a) R 17156 17158 14469 0 -1 4202496 14028 0 0 0 1561 47 0 0 25 0 1 0 133620384 58961920 13943 4089446400 134512640 135751879 4294106144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17158/statm: 14395 13943 146 303 0 14090 0 Current children cumulated CPU time (s) 16.08 Current children cumulated vsize (KiB) 57580 [startup+16.2004 s] /proc/loadavg: 2.00 2.02 2.00 3/179 17160 /proc/meminfo: memFree=31094012/32951124 swapFree=67111528/67111528 [pid=17158] ppid=17156 vsize=57580 CPUtime=16.19 /proc/17158/stat : 17158 (wbo1.4a) R 17156 17158 14469 0 -1 4202496 14028 0 0 0 1571 48 0 0 25 0 1 0 133620384 58961920 13943 4089446400 134512640 135751879 4294106144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17158/statm: 14395 13943 146 303 0 14090 0 Current children cumulated CPU time (s) 16.19 Current children cumulated vsize (KiB) 57580 Child status: 0 Real time (s): 16.2418 CPU time (s): 16.2385 CPU user time (s): 15.7506 CPU system time (s): 0.487925 CPU usage (%): 99.9796 Max. virtual memory (cumulated for all children) (KiB): 57580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 15.7506 system time used= 0.487925 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14028 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= 148 runsolver used 0.023996 second user time and 0.056991 second system time The end
Begin job on node136 at 2010-06-30 20:40:44 IDJOB=2690064 IDBENCH=79201 IDSOLVER=1200 FILE ID=node136/2690064-1277923244 PBS_JOBID= 11197279 Free space on /tmp= 74136 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226680--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690064-1277923244/watcher-2690064-1277923244 -o /tmp/evaluation-result-2690064-1277923244/solver-2690064-1277923244 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690064-1277923244.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bf6c20afd58a85c8a111061436284549 RANDOM SEED=2130567345 node136.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.840 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.68 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.840 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.82 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.840 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.840 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.840 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.74 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.840 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.840 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.840 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: 32951124 kB MemFree: 31148252 kB Buffers: 207828 kB Cached: 1377296 kB SwapCached: 0 kB Active: 734248 kB Inactive: 921352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31148252 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2888 kB Writeback: 0 kB AnonPages: 70728 kB Mapped: 15560 kB Slab: 83276 kB PageTables: 4860 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 215244 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= 74136 MiB End job on node136 at 2010-06-30 20:41:00