Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | OPT | 5 | 124.544 | 124.594 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ricks.r.opb |
MD5SUM | 518a034b80f08d868ecb31feb5231fce |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 0.136978 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 363 |
Total number of constraints | 78 |
Number of constraints which are clauses | 78 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 228 |
Number of terms in the objective function | 363 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 363 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 363 |
Number of bits of the biggest sum of numbers | 9 |
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 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node80/50488-1149882077/instance-50488-1149882077.opb ...... 0.03 c done parsing opb. 0.03 o 363 0.03 o 362 0.03 o 361 0.03 o 360 0.03 o 359 0.04 o 358 0.04 o 357 0.04 o 356 0.04 o 355 0.04 o 354 0.04 o 353 0.04 o 352 0.04 o 351 0.04 o 350 0.04 o 349 0.04 o 348 0.05 o 347 0.05 o 346 0.05 o 345 0.05 o 344 0.05 o 343 0.05 o 342 0.05 o 341 0.05 o 340 0.05 o 339 0.05 o 338 0.05 o 337 0.06 o 336 0.06 o 335 0.06 o 334 0.06 o 333 0.06 o 332 0.06 o 331 0.06 o 330 0.06 o 329 0.06 o 328 0.06 o 327 0.06 o 326 0.06 o 325 0.07 o 324 0.07 o 323 0.07 o 322 0.07 o 321 0.07 o 320 0.07 o 319 0.07 o 318 0.07 o 317 0.07 o 316 0.07 o 315 0.07 o 314 0.07 o 313 0.08 o 312 0.08 o 311 0.08 o 310 0.08 o 309 0.08 o 308 0.08 o 307 0.08 o 306 0.08 o 305 0.08 o 304 0.08 o 303 0.08 o 302 0.08 o 301 0.08 o 300 0.09 o 299 0.09 o 298 0.09 o 297 0.09 o 296 0.09 o 295 0.09 o 294 0.09 o 293 0.09 o 292 0.09 o 291 0.09 o 290 0.09 o 289 0.09 o 288 0.09 o 287 0.10 o 286 0.10 o 285 0.10 o 284 0.10 o 283 0.10 o 282 0.10 o 281 0.10 o 280 0.10 o 279 0.10 o 278 0.10 o 277 0.10 o 276 0.10 o 275 0.10 o 274 0.10 o 273 0.11 o 272 0.11 o 271 0.11 o 270 0.11 o 269 0.11 o 268 0.11 o 267 0.11 o 266 0.11 o 265 0.11 o 264 0.11 o 263 0.11 o 262 0.11 o 261 0.11 o 260 0.11 o 259 0.12 o 258 0.12 o 257 0.12 o 256 0.12 o 255 0.12 o 254 0.12 o 253 0.12 o 252 0.12 o 251 0.12 o 250 0.12 o 249 0.12 o 248 0.12 o 247 0.12 o 246 0.12 o 245 0.12 o 244 0.13 o 243 0.13 o 242 0.13 o 241 0.13 o 240 0.13 o 239 0.13 o 238 0.13 o 237 0.13 o 236 0.13 o 235 0.13 o 234 0.13 o 233 0.13 o 232 0.13 o 231 0.13 o 230 0.13 o 229 0.14 o 228 0.14 o 227 0.14 o 226 0.14 o 225 0.14 o 224 0.14 o 223 0.14 o 222 0.14 o 221 0.14 o 220 0.14 o 219 0.14 o 218 0.14 o 217 0.14 o 216 0.14 o 215 0.14 o 214 0.14 o 213 0.14 o 212 0.15 o 211 0.15 o 210 0.15 o 209 0.15 o 208 0.15 o 207 0.15 o 206 0.15 o 205 0.15 o 204 0.15 o 203 0.15 o 202 0.15 o 201 0.15 o 200 0.15 o 199 0.15 o 198 0.15 o 197 0.15 o 196 0.15 o 195 0.15 o 194 0.15 o 193 0.16 o 192 0.16 o 191 0.16 o 190 0.16 o 189 0.16 o 188 0.16 o 187 0.16 o 186 0.16 o 185 0.16 o 184 0.16 o 183 0.16 o 182 0.16 o 181 0.16 o 180 0.16 o 179 0.16 o 178 0.16 o 177 0.16 o 176 0.16 o 175 0.16 o 174 0.16 o 173 0.17 o 172 0.17 o 171 0.17 o 170 0.17 o 169 0.17 o 168 0.17 o 167 0.17 o 166 0.17 o 165 0.17 o 164 0.17 o 163 0.17 o 162 0.17 o 161 0.17 o 160 0.17 o 159 0.17 o 158 0.17 o 157 0.17 o 156 0.17 o 155 0.17 o 154 0.17 o 153 0.17 o 152 0.18 o 151 0.18 o 150 0.18 o 149 0.18 o 148 0.18 o 147 0.18 o 146 0.18 o 145 0.18 o 144 0.18 o 143 0.18 o 142 0.18 o 141 0.18 o 140 0.18 o 139 0.18 o 138 0.18 o 137 0.18 o 136 0.18 o 135 0.18 o 134 0.18 o 133 0.18 o 132 0.18 o 131 0.18 o 130 0.18 o 129 0.18 o 128 0.18 o 127 0.19 o 126 0.19 o 125 0.19 o 124 0.19 o 123 0.19 o 122 0.19 o 121 0.19 o 120 0.19 o 119 0.19 o 118 0.19 o 117 0.19 o 116 0.19 o 115 0.19 o 114 0.19 o 113 0.19 o 112 0.19 o 111 0.19 o 110 0.19 o 109 0.19 o 108 0.19 o 107 0.19 o 106 0.20 o 105 0.20 o 104 0.20 o 103 0.20 o 102 0.20 o 101 0.20 o 100 0.20 o 99 0.20 o 98 0.20 o 97 0.20 o 96 0.20 o 95 0.20 o 94 0.20 o 93 0.20 o 92 0.20 o 91 0.20 o 90 0.20 o 89 0.20 o 88 0.20 o 87 0.21 o 86 0.21 o 85 0.21 o 84 0.21 o 83 0.21 o 82 0.21 o 81 0.21 o 80 0.21 o 79 0.21 o 78 0.21 o 77 0.21 o 76 0.21 o 75 0.21 o 74 0.21 o 73 0.21 o 72 0.21 o 71 0.21 o 70 0.21 o 69 0.21 o 68 0.21 o 67 0.21 o 66 0.21 o 65 0.21 o 64 0.21 o 63 0.21 o 62 0.21 o 61 0.21 o 60 0.21 o 59 0.21 o 58 0.22 o 57 0.22 o 56 0.22 o 55 0.22 o 54 0.22 o 53 0.22 o 52 0.22 o 51 0.22 o 50 0.22 o 49 0.22 o 48 0.22 o 47 0.22 o 46 0.22 o 45 0.22 o 44 0.22 o 43 0.22 o 42 0.22 o 41 0.22 o 40 0.22 o 39 0.22 o 38 0.22 o 37 0.22 o 36 0.22 o 35 0.22 o 34 0.22 o 33 0.22 o 32 0.22 o 31 0.22 o 30 0.22 o 29 0.22 o 28 0.22 o 27 0.22 o 26 0.22 o 25 1.02 o 24 1.05 o 23 1.07 o 22 1.07 o 21 1.10 o 20 1.59 o 19 1.64 o 18 1.95 o 17 2.40 o 16 2.46 o 15 2.50 o 14 3.09 o 13 3.24 o 12 3.46 o 11 3.50 o 10 3.53 o 9 4.21 o 8 4.28 o 7 4.71 o 6 14.08 o 5 124.59 o 5 124.59 s OPTIMUM FOUND 124.59 c Total Run Time 124.512 124.59 v x1 -x10 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x11 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 124.59 v -x119 -x12 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x13 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 124.59 v -x138 -x139 -x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x15 -x150 -x151 -x152 -x153 -x154 -x155 -x156 124.59 v -x157 -x158 -x159 -x16 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x17 -x170 -x171 -x172 -x173 -x174 -x175 124.59 v -x176 -x177 -x178 -x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 -x190 -x191 -x192 -x193 -x194 124.59 v -x195 -x196 -x197 -x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 -x210 -x211 -x212 124.59 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x23 -x230 -x231 124.59 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x25 -x250 124.59 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x27 124.59 v -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 124.59 v -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 124.59 v -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 124.59 v -x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 124.59 v -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x37 124.59 v -x38 -x39 -x4 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x5 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x6 -x60 -x61 124.59 v -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x7 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x8 -x80 -x81 -x82 -x83 -x84 -x85 124.59 v -x86 -x87 -x88 -x89 -x9 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99
OK 5
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node80/watcher-50488-1149882077 -o ROOT/results/node80/solver-50488-1149882077 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node80/50488-1149882077/instance-50488-1149882077.opb 35649251 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.95 0.90 3/67 32742 /proc/meminfo: memFree=1801136/2055888 swapFree=4085444/4096564 [pid=32742] ppid=32740 vsize=1368 CPUtime=0 /proc/32742/stat : 32742 (PBS4L) D 32740 32742 32696 0 -1 4194304 110 0 0 0 0 0 0 0 18 0 1 0 253846218 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135137645 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/32742/statm: 350 100 87 232 0 115 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.96 0.91 2/67 32742 /proc/meminfo: memFree=1796760/2055888 swapFree=4085444/4096564 [pid=32742] ppid=32740 vsize=6476 CPUtime=9.98 /proc/32742/stat : 32742 (PBS4L) R 32740 32742 32696 0 -1 4194304 1225 0 0 0 992 6 0 0 25 0 1 0 253846218 6631424 1200 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/32742/statm: 1619 1200 108 232 0 1384 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 6476 [startup+20.0086 s] /proc/loadavg: 0.94 0.96 0.91 2/67 32742 /proc/meminfo: memFree=1796248/2055888 swapFree=4085444/4096564 [pid=32742] ppid=32740 vsize=6804 CPUtime=19.99 /proc/32742/stat : 32742 (PBS4L) R 32740 32742 32696 0 -1 4194304 1412 0 0 0 1992 7 0 0 25 0 1 0 253846218 6967296 1338 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/32742/statm: 1701 1338 108 232 0 1466 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 6804 [startup+30.0147 s] /proc/loadavg: 0.95 0.96 0.91 2/67 32742 /proc/meminfo: memFree=1796120/2055888 swapFree=4085444/4096564 [pid=32742] ppid=32740 vsize=6936 CPUtime=29.99 /proc/32742/stat : 32742 (PBS4L) R 32740 32742 32696 0 -1 4194304 1465 0 0 0 2992 7 0 0 25 0 1 0 253846218 7102464 1391 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/32742/statm: 1734 1391 108 232 0 1499 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 6936 [startup+40.0208 s] /proc/loadavg: 0.96 0.96 0.91 2/67 32742 /proc/meminfo: memFree=1795992/2055888 swapFree=4085444/4096564 [pid=32742] ppid=32740 vsize=6936 CPUtime=40 /proc/32742/stat : 32742 (PBS4L) R 32740 32742 32696 0 -1 4194304 1483 0 0 0 3992 8 0 0 25 0 1 0 253846218 7102464 1409 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/32742/statm: 1734 1409 108 232 0 1499 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 6936 [startup+50.0268 s] /proc/loadavg: 0.96 0.96 0.91 2/67 32742 /proc/meminfo: memFree=1795800/2055888 swapFree=4085444/4096564 [pid=32742] ppid=32740 vsize=7464 CPUtime=50 /proc/32742/stat : 32742 (PBS4L) R 32740 32742 32696 0 -1 4194304 1610 0 0 0 4992 8 0 0 25 0 1 0 253846218 7643136 1439 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/32742/statm: 1866 1439 108 232 0 1631 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 7464 [startup+60.0329 s] /proc/loadavg: 0.97 0.96 0.91 2/67 32742 /proc/meminfo: memFree=1795800/2055888 swapFree=4085444/4096564 [pid=32742] ppid=32740 vsize=7464 CPUtime=60 /proc/32742/stat : 32742 (PBS4L) R 32740 32742 32696 0 -1 4194304 1646 0 0 0 5992 8 0 0 25 0 1 0 253846218 7643136 1475 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/32742/statm: 1866 1475 108 232 0 1631 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 7464 [startup+70.039 s] /proc/loadavg: 0.97 0.96 0.91 2/67 32742 /proc/meminfo: memFree=1795672/2055888 swapFree=4085444/4096564 [pid=32742] ppid=32740 vsize=7600 CPUtime=70 /proc/32742/stat : 32742 (PBS4L) R 32740 32742 32696 0 -1 4194304 1682 0 0 0 6991 9 0 0 25 0 1 0 253846218 7782400 1511 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/32742/statm: 1900 1511 108 232 0 1665 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 7600 [startup+80.045 s] /proc/loadavg: 0.98 0.96 0.91 2/67 32742 /proc/meminfo: memFree=1795544/2055888 swapFree=4085444/4096564 [pid=32742] ppid=32740 vsize=7600 CPUtime=80 /proc/32742/stat : 32742 (PBS4L) R 32740 32742 32696 0 -1 4194304 1708 0 0 0 7991 9 0 0 25 0 1 0 253846218 7782400 1537 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/32742/statm: 1900 1537 108 232 0 1665 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 7600 [startup+90.0511 s] /proc/loadavg: 0.98 0.96 0.91 2/67 32742 /proc/meminfo: memFree=1795416/2055888 swapFree=4085444/4096564 [pid=32742] ppid=32740 vsize=7748 CPUtime=90.01 /proc/32742/stat : 32742 (PBS4L) R 32740 32742 32696 0 -1 4194304 1743 0 0 0 8991 10 0 0 25 0 1 0 253846218 7933952 1572 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/32742/statm: 1937 1572 108 232 0 1702 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 7748 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.91 2/67 32742 /proc/meminfo: memFree=1795224/2055888 swapFree=4085444/4096564 [pid=32742] ppid=32740 vsize=7880 CPUtime=100.01 /proc/32742/stat : 32742 (PBS4L) R 32740 32742 32696 0 -1 4194304 1781 0 0 0 9991 10 0 0 25 0 1 0 253846218 8069120 1610 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/32742/statm: 1970 1610 108 232 0 1735 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 7880 [startup+110.063 s] /proc/loadavg: 0.98 0.97 0.91 2/67 32742 /proc/meminfo: memFree=1795096/2055888 swapFree=4085444/4096564 [pid=32742] ppid=32740 vsize=7880 CPUtime=110.01 /proc/32742/stat : 32742 (PBS4L) R 32740 32742 32696 0 -1 4194304 1816 0 0 0 10991 10 0 0 25 0 1 0 253846218 8069120 1645 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/32742/statm: 1970 1645 108 232 0 1735 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 7880 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.91 2/67 32742 /proc/meminfo: memFree=1794840/2055888 swapFree=4085444/4096564 [pid=32742] ppid=32740 vsize=8820 CPUtime=120.02 /proc/32742/stat : 32742 (PBS4L) R 32740 32742 32696 0 -1 4194304 2062 0 0 0 11991 11 0 0 25 0 1 0 253846218 9031680 1698 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134553296 0 0 4096 0 0 0 0 17 1 0 0 /proc/32742/statm: 2205 1698 108 232 0 1970 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 8820 Child status: 0 Real time (s): 124.594 CPU time (s): 124.544 CPU user time (s): 124.426 CPU system time (s): 0.117982 CPU usage (%): 99.9601 Max. virtual memory (cumulated for all children) (Kb): 8820 The end
Begin job on node80 on Fri Jun 9 19:41:17 UTC 2006 FILE ID= 50488-1149882077 PBS_JOBID= 384708 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ricks.r.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node80/50488-1149882077/instance-50488-1149882077.opb 35649251 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node80/watcher-50488-1149882077 -o ROOT/results/node80/solver-50488-1149882077 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node80/50488-1149882077/instance-50488-1149882077.opb 35649251 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 518a034b80f08d868ecb31feb5231fce RANDOM SEED= 35649251 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.16 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1801344 kB Buffers: 30392 kB Cached: 165664 kB SwapCached: 2436 kB Active: 103216 kB Inactive: 101528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1801344 kB SwapTotal: 4096564 kB SwapFree: 4085444 kB Dirty: 232 kB Writeback: 0 kB Mapped: 16648 kB Slab: 36504 kB Committed_AS: 615384 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node80 on Fri Jun 9 19:43:21 UTC 2006