Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 20.6709 | 20.6705 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976935--soft-33-100-0.wbo |
MD5SUM | 1d30a59b87701853914e68e6a35dea24 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.12898 |
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 | 64 |
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 | 2925 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 2924 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1229 |
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-2689794-1277895194.wbo. 0.00/0.00 c Instance file HOME/instance-2689794-1277895194.wbo 0.00/0.00 c File size is 10274 bytes. 0.00/0.00 c Highest Coefficient sum: 1229 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 39 | 0.004 % | 0.00/0.00 c | 250 | 169 101 1205 | 6050 250 39 | 0.004 % | 0.00/0.01 c | 476 | 169 101 1205 | 6655 476 34 | 0.004 % | 0.00/0.02 c | 814 | 169 101 1205 | 7320 814 34 | 0.004 % | 0.00/0.03 c | 1320 | 169 101 1205 | 8052 1320 31 | 0.004 % | 0.05/0.06 c | 2081 | 169 101 1205 | 8857 2081 32 | 0.004 % | 0.09/0.10 c | 3220 | 169 101 1205 | 9743 3220 33 | 0.004 % | 0.09/0.18 c | 4928 | 169 101 1205 | 10717 4928 34 | 0.004 % | 0.29/0.31 c | 7491 | 169 101 1205 | 11789 7491 35 | 0.004 % | 0.49/0.57 c | 11336 | 169 101 1205 | 12968 11336 37 | 0.004 % | 0.88/0.99 c | 17102 | 169 101 1205 | 14265 10579 41 | 0.004 % | 1.69/1.74 c | 25751 | 169 101 1205 | 15692 12052 44 | 0.004 % | 2.79/2.80 c | 38726 | 169 101 1205 | 17261 9244 43 | 0.004 % | 3.99/4.06 c =============================================================================== 4.19/4.27 c core #1 4.19/4.27 c ============================[ Search Statistics ]============================== 4.19/4.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.27 c =============================================================================== 4.19/4.27 c | 0 | 230 161 1915 | 5000 0 nan | 0.000 % | 4.19/4.28 c | 102 | 230 161 1915 | 5500 102 37 | 0.002 % | 4.19/4.28 c | 254 | 230 161 1915 | 6050 254 39 | 0.002 % | 4.19/4.29 c | 479 | 230 161 1915 | 6655 479 35 | 0.002 % | 4.19/4.30 c | 816 | 230 161 1915 | 7320 816 34 | 0.002 % | 4.29/4.32 c | 1324 | 230 161 1915 | 8052 1324 33 | 0.002 % | 4.29/4.35 c | 2084 | 230 161 1915 | 8857 2084 32 | 0.002 % | 4.29/4.39 c | 3223 | 230 161 1915 | 9743 3223 34 | 0.002 % | 4.39/4.47 c | 4934 | 230 161 1915 | 10717 4934 36 | 0.002 % | 4.59/4.61 c | 7498 | 230 161 1915 | 11789 7498 36 | 0.002 % | 4.79/4.84 c | 11343 | 230 161 1915 | 12968 11343 38 | 0.002 % | 5.19/5.23 c | 17111 | 230 161 1915 | 14265 10581 40 | 0.002 % | 5.79/5.80 c | 25761 | 230 161 1915 | 15692 12055 42 | 0.002 % | 6.89/6.93 c | 38735 | 230 161 1915 | 17261 9243 45 | 0.002 % | 8.39/8.50 c | 58200 | 230 161 1915 | 18987 11320 50 | 0.002 % | 11.09/11.13 c =============================================================================== 11.49/11.50 c core #2 11.49/11.50 c ============================[ Search Statistics ]============================== 11.49/11.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.49/11.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.49/11.50 c =============================================================================== 11.49/11.50 c | 0 | 291 221 2625 | 5000 0 nan | 0.000 % | 11.49/11.51 c | 102 | 291 221 2625 | 5500 102 38 | 0.001 % | 11.49/11.52 c | 253 | 291 221 2625 | 6050 253 39 | 0.001 % | 11.49/11.52 c | 478 | 291 221 2625 | 6655 478 37 | 0.001 % | 11.49/11.54 c | 815 | 291 221 2625 | 7320 815 35 | 0.001 % | 11.49/11.55 c | 1324 | 291 221 2625 | 8052 1324 34 | 0.001 % | 11.49/11.58 c | 2084 | 291 221 2625 | 8857 2084 37 | 0.001 % | 11.59/11.62 c | 3225 | 291 221 2625 | 9743 3225 36 | 0.001 % | 11.70/11.70 c | 4934 | 291 221 2625 | 10717 4934 37 | 0.001 % | 11.79/11.83 c | 7499 | 291 221 2625 | 11789 7499 38 | 0.001 % | 11.99/12.07 c | 11345 | 291 221 2625 | 12968 11345 40 | 0.001 % | 12.39/12.46 c | 17112 | 291 221 2625 | 14265 10576 39 | 0.001 % | 12.99/13.07 c | 25761 | 291 221 2625 | 15692 12036 43 | 0.001 % | 14.19/14.21 c | 38736 | 291 221 2625 | 17261 9210 48 | 0.001 % | 15.89/15.91 c | 58197 | 291 221 2625 | 18987 11299 50 | 0.001 % | 18.70/18.71 c | 87389 | 291 221 2625 | 20886 11841 50 | 0.001 % | 20.59/20.66 c =============================================================================== 20.59/20.66 c #cores: 2 20.59/20.66 c Final Weight: 2 20.59/20.66 o 2 20.59/20.66 s OPTIMUM FOUND 20.59/20.66 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 20.59/20.66 c Total CPU time: 20.4219 s
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689794-1277895194/watcher-2689794-1277895194 -o /tmp/evaluation-result-2689794-1277895194/solver-2689794-1277895194 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689794-1277895194.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.08 2.00 2.00 4/178 22413 /proc/meminfo: memFree=30240676/32951124 swapFree=67111528/67111528 [pid=22413] ppid=22411 vsize=2572 CPUtime=0 /proc/22413/stat : 22413 (wbo1.4a) R 22411 22413 20960 0 -1 4202496 291 0 0 0 0 0 0 0 25 0 1 0 165123191 2633728 206 4089446400 134512640 135751879 4289665616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22413/statm: 643 206 143 303 0 338 0 [startup+0.054432 s] /proc/loadavg: 2.08 2.00 2.00 4/178 22413 /proc/meminfo: memFree=30240676/32951124 swapFree=67111528/67111528 [pid=22413] ppid=22411 vsize=2968 CPUtime=0.05 /proc/22413/stat : 22413 (wbo1.4a) R 22411 22413 20960 0 -1 4202496 395 0 0 0 5 0 0 0 25 0 1 0 165123191 3039232 310 4089446400 134512640 135751879 4289665616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22413/statm: 742 310 143 303 0 437 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2968 [startup+0.10041 s] /proc/loadavg: 2.08 2.00 2.00 4/178 22413 /proc/meminfo: memFree=30240676/32951124 swapFree=67111528/67111528 [pid=22413] ppid=22411 vsize=3364 CPUtime=0.09 /proc/22413/stat : 22413 (wbo1.4a) R 22411 22413 20960 0 -1 4202496 486 0 0 0 9 0 0 0 25 0 1 0 165123191 3444736 401 4089446400 134512640 135751879 4289665616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22413/statm: 841 401 143 303 0 536 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3364 [startup+0.300374 s] /proc/loadavg: 2.08 2.00 2.00 4/178 22413 /proc/meminfo: memFree=30240676/32951124 swapFree=67111528/67111528 [pid=22413] ppid=22411 vsize=4420 CPUtime=0.29 /proc/22413/stat : 22413 (wbo1.4a) R 22411 22413 20960 0 -1 4202496 760 0 0 0 28 1 0 0 25 0 1 0 165123191 4526080 675 4089446400 134512640 135751879 4289665616 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22413/statm: 1105 675 143 303 0 800 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4420 [startup+0.700302 s] /proc/loadavg: 2.08 2.00 2.00 4/178 22413 /proc/meminfo: memFree=30240676/32951124 swapFree=67111528/67111528 [pid=22413] ppid=22411 vsize=6204 CPUtime=0.69 /proc/22413/stat : 22413 (wbo1.4a) R 22411 22413 20960 0 -1 4202496 1201 0 0 0 68 1 0 0 25 0 1 0 165123191 6352896 1116 4089446400 134512640 135751879 4289665616 18446744073709551615 134606399 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22413/statm: 1551 1116 143 303 0 1246 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6204 [startup+1.50016 s] /proc/loadavg: 2.08 2.00 2.00 3/179 22414 /proc/meminfo: memFree=30233432/32951124 swapFree=67111528/67111528 [pid=22413] ppid=22411 vsize=9240 CPUtime=1.48 /proc/22413/stat : 22413 (wbo1.4a) R 22411 22413 20960 0 -1 4202496 1960 0 0 0 146 2 0 0 25 0 1 0 165123191 9461760 1875 4089446400 134512640 135751879 4289665616 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22413/statm: 2310 1875 143 303 0 2005 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 9240 [startup+3.10088 s] /proc/loadavg: 2.07 2.00 2.00 3/179 22414 /proc/meminfo: memFree=30227728/32951124 swapFree=67111528/67111528 [pid=22413] ppid=22411 vsize=15192 CPUtime=3.09 /proc/22413/stat : 22413 (wbo1.4a) R 22411 22413 20960 0 -1 4202496 3452 0 0 0 304 5 0 0 25 0 1 0 165123191 15556608 3367 4089446400 134512640 135751879 4289665616 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22413/statm: 3798 3367 143 303 0 3493 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15192 [startup+6.30028 s] /proc/loadavg: 2.07 2.00 2.00 3/179 22414 /proc/meminfo: memFree=30211568/32951124 swapFree=67111528/67111528 [pid=22413] ppid=22411 vsize=22988 CPUtime=6.29 /proc/22413/stat : 22413 (wbo1.4a) R 22411 22413 20960 0 -1 4202496 5390 0 0 0 621 8 0 0 25 0 1 0 165123191 23539712 5305 4089446400 134512640 135751879 4289665616 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22413/statm: 5747 5305 146 303 0 5442 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22988 [startup+12.7011 s] /proc/loadavg: 2.06 2.00 2.00 3/179 22414 /proc/meminfo: memFree=30177848/32951124 swapFree=67111528/67111528 [pid=22413] ppid=22411 vsize=42828 CPUtime=12.69 /proc/22413/stat : 22413 (wbo1.4a) R 22411 22413 20960 0 -1 4202496 10359 0 0 0 1254 15 0 0 25 0 1 0 165123191 43855872 10274 4089446400 134512640 135751879 4289665616 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22413/statm: 10707 10274 146 303 0 10402 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42828 Solver just ended. Dumping a history of the last processes samples [startup+15.9005 s] /proc/loadavg: 2.06 2.00 2.00 3/179 22414 /proc/meminfo: memFree=30169660/32951124 swapFree=67111528/67111528 [pid=22413] ppid=22411 vsize=49176 CPUtime=15.89 /proc/22413/stat : 22413 (wbo1.4a) R 22411 22413 20960 0 -1 4202496 11944 0 0 0 1571 18 0 0 25 0 1 0 165123191 50356224 11859 4089446400 134512640 135751879 4289665616 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22413/statm: 12294 11859 146 303 0 11989 0 Current children cumulated CPU time (s) 15.89 Current children cumulated vsize (KiB) 49176 [startup+19.1009 s] /proc/loadavg: 2.05 2.00 2.00 3/179 22414 /proc/meminfo: memFree=30155404/32951124 swapFree=67111528/67111528 [pid=22413] ppid=22411 vsize=59836 CPUtime=19.09 /proc/22413/stat : 22413 (wbo1.4a) R 22411 22413 20960 0 -1 4202496 14614 0 0 0 1887 22 0 0 25 0 1 0 165123191 61272064 14529 4089446400 134512640 135751879 4289665616 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22413/statm: 14959 14529 146 303 0 14654 0 Current children cumulated CPU time (s) 19.09 Current children cumulated vsize (KiB) 59836 [startup+19.9008 s] /proc/loadavg: 2.05 2.00 2.00 3/179 22414 /proc/meminfo: memFree=30151312/32951124 swapFree=67111528/67111528 [pid=22413] ppid=22411 vsize=62084 CPUtime=19.89 /proc/22413/stat : 22413 (wbo1.4a) R 22411 22413 20960 0 -1 4202496 15163 0 0 0 1966 23 0 0 25 0 1 0 165123191 63574016 15078 4089446400 134512640 135751879 4289665616 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22413/statm: 15521 15078 146 303 0 15216 0 Current children cumulated CPU time (s) 19.89 Current children cumulated vsize (KiB) 62084 [startup+20.3007 s] /proc/loadavg: 2.05 2.00 2.00 3/179 22414 /proc/meminfo: memFree=30151312/32951124 swapFree=67111528/67111528 [pid=22413] ppid=22411 vsize=63404 CPUtime=20.29 /proc/22413/stat : 22413 (wbo1.4a) R 22411 22413 20960 0 -1 4202496 15495 0 0 0 2006 23 0 0 25 0 1 0 165123191 64925696 15410 4089446400 134512640 135751879 4289665616 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22413/statm: 15851 15410 146 303 0 15546 0 Current children cumulated CPU time (s) 20.29 Current children cumulated vsize (KiB) 63404 [startup+20.5007 s] /proc/loadavg: 2.05 2.00 2.00 3/179 22414 /proc/meminfo: memFree=30151312/32951124 swapFree=67111528/67111528 [pid=22413] ppid=22411 vsize=64064 CPUtime=20.49 /proc/22413/stat : 22413 (wbo1.4a) R 22411 22413 20960 0 -1 4202496 15652 0 0 0 2025 24 0 0 25 0 1 0 165123191 65601536 15567 4089446400 134512640 135751879 4289665616 18446744073709551615 134620939 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22413/statm: 16016 15567 146 303 0 15711 0 Current children cumulated CPU time (s) 20.49 Current children cumulated vsize (KiB) 64064 [startup+20.6007 s] /proc/loadavg: 2.05 2.00 2.00 3/179 22414 /proc/meminfo: memFree=30151312/32951124 swapFree=67111528/67111528 [pid=22413] ppid=22411 vsize=64328 CPUtime=20.59 /proc/22413/stat : 22413 (wbo1.4a) R 22411 22413 20960 0 -1 4202496 15737 0 0 0 2035 24 0 0 25 0 1 0 165123191 65871872 15652 4089446400 134512640 135751879 4289665616 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22413/statm: 16082 15652 146 303 0 15777 0 Current children cumulated CPU time (s) 20.59 Current children cumulated vsize (KiB) 64328 Child status: 0 Real time (s): 20.6705 CPU time (s): 20.6709 CPU user time (s): 20.4219 CPU system time (s): 0.248962 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 64328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20.4219 system time used= 0.248962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15799 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= 50 runsolver used 0.029995 second user time and 0.068989 second system time The end
Begin job on node110 at 2010-06-30 12:53:15 IDJOB=2689794 IDBENCH=78748 IDSOLVER=1200 FILE ID=node110/2689794-1277895194 PBS_JOBID= 11197134 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.1110976935--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-2689794-1277895194/watcher-2689794-1277895194 -o /tmp/evaluation-result-2689794-1277895194/solver-2689794-1277895194 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689794-1277895194.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d30a59b87701853914e68e6a35dea24 RANDOM SEED=59954134 node110.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.849 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.69 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.849 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.849 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.74 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.849 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.82 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.849 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.849 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.849 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30241196 kB Buffers: 179928 kB Cached: 988984 kB SwapCached: 0 kB Active: 1936872 kB Inactive: 630656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30241196 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2772 kB Writeback: 0 kB AnonPages: 1398744 kB Mapped: 15056 kB Slab: 77504 kB PageTables: 7064 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1542432 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 node110 at 2010-06-30 12:53:35