Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 12 | 35.2256 | 35.24 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-5xp1.b.opb |
MD5SUM | b3e6d54e40b24334877b0ae377edea30 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 27.0119 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | YES |
Number of variables | 464 |
Total number of constraints | 845 |
Number of constraints which are clauses | 845 |
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 | 149 |
Number of terms in the objective function | 464 |
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 | 464 |
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 | 464 |
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/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1880449-1245148758.opb 0.00/0.00 c File size is 245270 bytes. 0.03/0.03 c Highest Coefficient sum: 464 0.03/0.03 c Parsing was ok!! 0.03/0.03 c Total parsing time: 0.034 s 0.03/0.03 c Var: 464 Constr: 845 845/0/0 Lit: 29889 Watch. Lit: 1688 0.03/0.03 c Obj. Vars: 464 (100 % of total variables) 0.03/0.09 c Formula reductions applied at preprocessing 0.03/0.09 c Pre-processing Time: 0.09 s 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 0 240 380 15566 40 760 126 0 0 0.09 0.09/0.10 c Initial Lower Bound: 11 0.09/0.10 c Initial Path Cost: 2 0.09/0.11 o 17 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 0 240 381 15806 41 987 1126 1 0 0.11 0.49/0.55 o 16 0.79/0.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.87 c 1 240 385 16391 42 1221 1126 5 1 0.55 0.79/0.87 o 15 1.29/1.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.34 c 1 240 386 16631 43 1450 1126 6 1 0.88 1.29/1.34 o 14 2.49/2.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.57 c 16 240 426 22626 53 1758 1126 46 11 1.34 2.49/2.57 c 118 240 715 48895 68 2336 1239 335 54 2.15 2.49/2.57 o 13 29.59/29.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.59/29.61 c 129 240 745 52670 70 2625 1126 365 50 2.57 29.59/29.61 c 229 240 1026 84074 81 3187 1239 646 61 3.71 29.59/29.61 c 483 240 1754 139346 79 4643 1363 1374 80 5.98 29.59/29.61 c 964 240 1139 79135 69 2507 1500 759 99 9.71 29.59/29.61 c 1786 240 1495 84271 56 3219 1651 1115 113 15.71 29.59/29.61 c 3108 240 2049 102997 50 4327 1817 1669 121 25.61 29.59/29.61 o 12 35.18/35.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.18/35.23 c 3594 240 2289 130143 56 5037 1126 1909 121 29.61 35.18/35.23 c 3709 240 1289 73739 57 2808 1239 909 120 30.71 35.18/35.23 c 3959 239 1146 59158 51 2520 1363 766 117 33.61 35.18/35.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 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 35.18/35.23 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 35.18/35.23 c 14 4114 388 6302 1611 78497 1231 116 35.22 35.18/35.23 c Objective: 12 35.18/35.23 s OPTIMUM FOUND 35.18/35.23 c Total time: 35.223 s
OK 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880449-1245148758/watcher-1880449-1245148758 -o /tmp/evaluation-result-1880449-1245148758/solver-1880449-1245148758 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880449-1245148758.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32317 /proc/meminfo: memFree=1865068/2055920 swapFree=4181368/4192956 [pid=32317] ppid=32315 vsize=18760 CPUtime=0 /proc/32317/stat : 32317 (bsolo) R 32315 32317 32166 0 -1 4194304 242 0 0 0 0 0 0 0 18 0 1 0 182473003 19210240 226 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32317/statm: 4690 227 176 640 0 3986 0 [startup+0.0347371 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32317 /proc/meminfo: memFree=1865068/2055920 swapFree=4181368/4192956 [pid=32317] ppid=32315 vsize=11336 CPUtime=0.03 /proc/32317/stat : 32317 (bsolo) R 32315 32317 32166 0 -1 4194304 391 0 0 0 3 0 0 0 18 0 1 0 182473003 11608064 375 1992294400 134512640 137136520 4294956256 18446744073709551615 134517403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32317/statm: 2834 375 228 640 0 2130 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11336 [startup+0.101748 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32317 /proc/meminfo: memFree=1865068/2055920 swapFree=4181368/4192956 [pid=32317] ppid=32315 vsize=12456 CPUtime=0.09 /proc/32317/stat : 32317 (bsolo) R 32315 32317 32166 0 -1 4194304 732 0 0 0 9 0 0 0 18 0 1 0 182473003 12754944 622 1992294400 134512640 137136520 4294956256 18446744073709551615 135448333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32317/statm: 3114 622 282 640 0 2470 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12456 [startup+0.301781 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32317 /proc/meminfo: memFree=1865068/2055920 swapFree=4181368/4192956 [pid=32317] ppid=32315 vsize=11784 CPUtime=0.29 /proc/32317/stat : 32317 (bsolo) R 32315 32317 32166 0 -1 4194304 2348 0 0 0 28 1 0 0 19 0 1 0 182473003 12066816 622 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32317/statm: 2946 622 290 640 0 2302 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11784 [startup+0.701849 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32317 /proc/meminfo: memFree=1865068/2055920 swapFree=4181368/4192956 [pid=32317] ppid=32315 vsize=11784 CPUtime=0.69 /proc/32317/stat : 32317 (bsolo) R 32315 32317 32166 0 -1 4194304 5897 0 0 0 67 2 0 0 22 0 1 0 182473003 12066816 626 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32317/statm: 2946 626 293 640 0 2302 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11784 [startup+1.50199 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32318 /proc/meminfo: memFree=1863524/2055920 swapFree=4181368/4192956 [pid=32317] ppid=32315 vsize=12644 CPUtime=1.49 /proc/32317/stat : 32317 (bsolo) R 32315 32317 32166 0 -1 4194304 13150 0 0 0 145 4 0 0 25 0 1 0 182473003 12947456 649 1992294400 134512640 137136520 4294956256 18446744073709551615 135448333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32317/statm: 3161 649 293 640 0 2517 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12644 [startup+3.10126 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32318 /proc/meminfo: memFree=1863332/2055920 swapFree=4181368/4192956 [pid=32317] ppid=32315 vsize=13276 CPUtime=3.09 /proc/32317/stat : 32317 (bsolo) R 32315 32317 32166 0 -1 4194304 54058 0 0 0 292 17 0 0 25 0 1 0 182473003 13594624 758 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32317/statm: 3319 758 293 640 0 2675 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13276 [startup+6.3018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32318 /proc/meminfo: memFree=1862052/2055920 swapFree=4181368/4192956 [pid=32317] ppid=32315 vsize=13048 CPUtime=6.29 /proc/32317/stat : 32317 (bsolo) R 32315 32317 32166 0 -1 4194304 139459 0 0 0 585 44 0 0 25 0 1 0 182473003 13361152 957 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32317/statm: 3262 957 293 640 0 2618 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13048 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32318 /proc/meminfo: memFree=1861540/2055920 swapFree=4181368/4192956 [pid=32317] ppid=32315 vsize=14388 CPUtime=12.68 /proc/32317/stat : 32317 (bsolo) R 32315 32317 32166 0 -1 4194304 255210 0 0 0 1185 83 0 0 25 0 1 0 182473003 14733312 1076 1992294400 134512640 137136520 4294956256 18446744073709551615 134732890 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32317/statm: 3597 1076 293 640 0 2953 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14388 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32318 /proc/meminfo: memFree=1861540/2055920 swapFree=4181368/4192956 [pid=32317] ppid=32315 vsize=13348 CPUtime=25.48 /proc/32317/stat : 32317 (bsolo) R 32315 32317 32166 0 -1 4194304 409725 0 0 0 2411 137 0 0 25 0 1 0 182473003 13668352 1032 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32317/statm: 3337 1032 293 640 0 2693 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13348 Solver just ended. Dumping a history of the last processes samples [startup+31.9052 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32318 /proc/meminfo: memFree=1861540/2055920 swapFree=4181368/4192956 [pid=32317] ppid=32315 vsize=14180 CPUtime=31.88 /proc/32317/stat : 32317 (bsolo) R 32315 32317 32166 0 -1 4194304 478674 0 0 0 3028 160 0 0 25 0 1 0 182473003 14520320 1058 1992294400 134512640 137136520 4294956256 18446744073709551615 134731897 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32317/statm: 3545 1058 293 640 0 2901 0 Current children cumulated CPU time (s) 31.88 Current children cumulated vsize (KiB) 14180 [startup+33.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32318 /proc/meminfo: memFree=1861540/2055920 swapFree=4181368/4192956 [pid=32317] ppid=32315 vsize=14396 CPUtime=33.47 /proc/32317/stat : 32317 (bsolo) R 32315 32317 32166 0 -1 4194304 493194 0 0 0 3182 165 0 0 25 0 1 0 182473003 14741504 1069 1992294400 134512640 137136520 4294956256 18446744073709551615 135467945 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32317/statm: 3599 1069 293 640 0 2955 0 Current children cumulated CPU time (s) 33.47 Current children cumulated vsize (KiB) 14396 [startup+34.3016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32318 /proc/meminfo: memFree=1861540/2055920 swapFree=4181368/4192956 [pid=32317] ppid=32315 vsize=14424 CPUtime=34.28 /proc/32317/stat : 32317 (bsolo) R 32315 32317 32166 0 -1 4194304 500716 0 0 0 3260 168 0 0 25 0 1 0 182473003 14770176 1077 1992294400 134512640 137136520 4294956256 18446744073709551615 135438955 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32317/statm: 3606 1077 293 640 0 2962 0 Current children cumulated CPU time (s) 34.28 Current children cumulated vsize (KiB) 14424 [startup+34.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32318 /proc/meminfo: memFree=1861540/2055920 swapFree=4181368/4192956 [pid=32317] ppid=32315 vsize=14168 CPUtime=34.67 /proc/32317/stat : 32317 (bsolo) R 32315 32317 32166 0 -1 4194304 504438 0 0 0 3298 169 0 0 25 0 1 0 182473003 14508032 1059 1992294400 134512640 137136520 4294956256 18446744073709551615 135387467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32317/statm: 3600 1061 293 640 0 2956 0 Current children cumulated CPU time (s) 34.67 Current children cumulated vsize (KiB) 14168 [startup+35.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32318 /proc/meminfo: memFree=1861540/2055920 swapFree=4181368/4192956 [pid=32317] ppid=32315 vsize=14576 CPUtime=35.08 /proc/32317/stat : 32317 (bsolo) R 32315 32317 32166 0 -1 4194304 507391 0 0 0 3337 171 0 0 25 0 1 0 182473003 14925824 1080 1992294400 134512640 137136520 4294956256 18446744073709551615 135455334 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32317/statm: 3644 1080 293 640 0 3000 0 Current children cumulated CPU time (s) 35.08 Current children cumulated vsize (KiB) 14576 [startup+35.2057 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32318 /proc/meminfo: memFree=1861540/2055920 swapFree=4181368/4192956 [pid=32317] ppid=32315 vsize=14448 CPUtime=35.18 /proc/32317/stat : 32317 (bsolo) R 32315 32317 32166 0 -1 4194304 508043 0 0 0 3347 171 0 0 25 0 1 0 182473003 14794752 1070 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32317/statm: 3612 1070 293 640 0 2968 0 Current children cumulated CPU time (s) 35.18 Current children cumulated vsize (KiB) 14448 Child status: 0 Real time (s): 35.24 CPU time (s): 35.2256 CPU user time (s): 33.5039 CPU system time (s): 1.72174 CPU usage (%): 99.9594 Max. virtual memory (cumulated for all children) (KiB): 14592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 33.5039 system time used= 1.72174 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 508307 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= 56 runsolver used 0.033994 second user time and 0.076988 second system time The end
Begin job on node43 at 2009-06-16 12:39:18 IDJOB=1880449 IDBENCH=2046 IDSOLVER=701 FILE ID=node43/1880449-1245148758 PBS_JOBID= 9363746 Free space on /tmp= 66192 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-5xp1.b.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880449-1245148758/watcher-1880449-1245148758 -o /tmp/evaluation-result-1880449-1245148758/solver-1880449-1245148758 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880449-1245148758.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b3e6d54e40b24334877b0ae377edea30 RANDOM SEED=223496409 node43.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.281 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 : 5914.62 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.281 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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1865548 kB Buffers: 31700 kB Cached: 97996 kB SwapCached: 5352 kB Active: 34648 kB Inactive: 102852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1865548 kB SwapTotal: 4192956 kB SwapFree: 4181368 kB Dirty: 4180 kB Writeback: 0 kB Mapped: 13540 kB Slab: 38840 kB Committed_AS: 169040 kB PageTables: 1448 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1880449-1245148758.opb Free space on /tmp at the end= 66188 MiB End job on node43 at 2009-06-16 12:39:53