Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | OPT | 3 | 26.162 | 26.1803 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=191-P1=151-P2=41-P3=257-P4=191-B.opb |
MD5SUM | e04f59e7146720276551350f74bab120 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 1.80073 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 96 |
Total number of constraints | 9 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 9 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 256 |
Sum of products size (including duplicates) | 512 |
Number of different products | 256 |
Sum of products size | 512 |
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: Cardinality Constraint 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-1876563-1245187400.opb 0.00/0.00 c File size is 18984 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.002 s 0.00/0.00 c Var: 352 Constr: 525 256/0/269 Lit: 2200 Watch. Lit: 1354 0.00/0.00 c Obj. Vars: 8 (2.27273 % of total variables) 0.00/0.00 c Pre-processing Time: 0.005 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 352 525 2200 4 1890 2949 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 3.49/3.59 c 102 352 702 10372 14 2323 3244 177 4857 0.02 3.49/3.59 c 252 352 877 23312 26 2704 3569 352 5478 0.05 3.49/3.59 c 477 352 1146 42708 37 3285 3926 621 5611 0.09 3.49/3.59 c 816 352 1532 67630 44 4096 4319 1007 5828 0.14 3.49/3.59 c 1325 352 2229 104590 46 5768 4751 1704 5735 0.23 3.49/3.59 c 2089 352 3230 154712 47 8011 5227 2705 5397 0.39 3.49/3.59 c 3236 352 4551 235295 51 10823 5750 4026 5128 0.63 3.49/3.59 c 4957 352 3870 182893 47 9083 6326 3345 4251 1.17 3.49/3.59 c 7542 352 3690 175890 47 8580 6959 3165 3415 2.21 3.49/3.59 o 27 5.79/5.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.89 c 11352 343 4438 219144 49 10259 2965 3913 3162 3.59 5.79/5.89 c 11452 343 2141 100187 46 5251 3262 1616 3161 3.62 5.79/5.89 c 11702 343 2435 114500 47 5874 3589 1910 3198 3.66 5.79/5.89 c 12178 343 3024 141885 46 7172 3948 2499 3250 3.75 5.79/5.89 c 12991 343 3928 188103 47 9093 4343 3403 3304 3.93 5.79/5.89 c 14311 343 3207 140079 43 7443 4778 2682 3342 4.28 5.79/5.89 c 16392 335 3178 135935 42 7480 5256 2653 3316 4.94 5.79/5.89 c 19615 326 4088 176841 43 9655 5782 3563 3387 5.79 5.79/5.89 o 19 10.48/10.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.48/10.53 c 20059 326 4602 207100 45 10740 2963 4077 3403 5.89 10.48/10.53 c 20160 326 2118 81277 38 5069 3260 1593 3404 5.92 10.48/10.53 c 20413 326 2396 99261 41 5726 3587 1871 3425 5.96 10.48/10.53 c 20890 325 2935 128576 43 6864 3946 2410 3454 6.05 10.48/10.53 c 21703 325 3858 185463 48 8843 4341 3333 3482 6.23 10.48/10.53 c 23023 325 3113 134442 43 7261 4776 2588 3536 6.51 10.48/10.53 c 25105 324 3000 103734 34 7018 5254 2475 3526 7.12 10.48/10.53 c 28328 302 3660 202174 55 8411 5780 3135 3514 8.06 10.48/10.53 c 33265 302 6114 346930 56 13632 6359 5589 3225 10.31 10.48/10.53 o 7 10.99/11.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.99/11.07 c 34227 302 3738 201222 53 8568 2959 3213 3249 10.53 10.99/11.07 c 34327 279 2146 100095 46 5262 3255 1621 3249 10.56 10.99/11.07 c 34578 279 2401 117263 48 5726 3581 1876 3260 10.61 10.99/11.07 c 35053 279 2911 149674 51 6788 3940 2386 3265 10.73 10.99/11.07 c 35866 279 3804 204612 53 8719 4335 3279 3260 11.00 10.99/11.07 o 5 11.19/11.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.19/11.23 c 36151 279 4126 224101 54 9444 2955 3601 3264 11.07 11.19/11.23 c 36251 279 2133 102387 48 5179 3251 1608 3266 11.10 11.19/11.23 c 36503 279 2414 119266 49 5787 3577 1889 3277 11.14 11.19/11.23 c 36978 279 2994 144906 48 7082 3935 2469 3297 11.21 11.19/11.23 o 3 26.08/26.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.08/26.17 c 37047 279 3074 149565 48 7224 2955 2549 3299 11.23 26.08/26.17 c 37148 279 3178 156420 49 7423 3251 2653 3302 11.25 26.08/26.17 c 37401 279 3452 173836 50 7982 3577 2927 3308 11.30 26.08/26.17 c 37877 279 3946 205110 51 9007 3935 3421 3307 11.45 26.08/26.17 c 38690 279 2758 134489 48 6375 4329 2233 3295 11.74 26.08/26.17 c 40011 279 4176 223509 53 9351 4762 3651 3283 12.19 26.08/26.17 c 42093 279 3883 210398 54 8779 5239 3358 3243 12.98 26.08/26.17 c 45316 258 4634 250926 54 10451 5763 4109 3193 14.19 26.08/26.17 c 50255 257 3936 212438 53 8896 6340 3411 3069 16.38 26.08/26.17 c 57762 257 5634 309928 55 12793 6975 5109 2948 19.59 26.08/26.17 c 69124 247 7027 389192 55 15498 7673 6502 2794 24.73 26.08/26.17 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 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 x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 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 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 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 x57 x58 -x59 -x60 -x61 x62 -x63 -x64 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 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 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 26.08/26.17 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 26.08/26.17 c 46 71896 618 79006 5990 294567 5465 2748 26.16 26.08/26.17 c Objective: 3 26.08/26.17 s OPTIMUM FOUND 26.08/26.17 c Total time: 26.16 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-1876563-1245187400/watcher-1876563-1245187400 -o /tmp/evaluation-result-1876563-1245187400/solver-1876563-1245187400 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876563-1245187400.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: 0.93 0.98 0.99 3/65 4195 /proc/meminfo: memFree=1858032/2055920 swapFree=4169920/4192956 [pid=4195] ppid=4193 vsize=10712 CPUtime=0 /proc/4195/stat : 4195 (bsolo) R 4193 4195 3140 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 186338602 10969088 264 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4195/statm: 2678 264 189 640 0 2034 0 [startup+0.00704907 s] /proc/loadavg: 0.93 0.98 0.99 3/65 4195 /proc/meminfo: memFree=1858032/2055920 swapFree=4169920/4192956 [pid=4195] ppid=4193 vsize=10844 CPUtime=0 /proc/4195/stat : 4195 (bsolo) R 4193 4195 3140 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 186338602 11104256 276 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4195/statm: 2711 276 191 640 0 2067 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10844 [startup+0.101057 s] /proc/loadavg: 0.93 0.98 0.99 3/65 4195 /proc/meminfo: memFree=1858032/2055920 swapFree=4169920/4192956 [pid=4195] ppid=4193 vsize=11484 CPUtime=0.09 /proc/4195/stat : 4195 (bsolo) R 4193 4195 3140 0 -1 4194304 469 0 0 0 9 0 0 0 18 0 1 0 186338602 11759616 448 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4195/statm: 2871 448 198 640 0 2227 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11484 [startup+0.301076 s] /proc/loadavg: 0.93 0.98 0.99 3/65 4195 /proc/meminfo: memFree=1858032/2055920 swapFree=4169920/4192956 [pid=4195] ppid=4193 vsize=12644 CPUtime=0.29 /proc/4195/stat : 4195 (bsolo) R 4193 4195 3140 0 -1 4194304 765 0 0 0 29 0 0 0 19 0 1 0 186338602 12947456 744 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4195/statm: 3161 744 198 640 0 2517 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12644 [startup+0.701116 s] /proc/loadavg: 0.93 0.98 0.99 3/65 4195 /proc/meminfo: memFree=1858032/2055920 swapFree=4169920/4192956 [pid=4195] ppid=4193 vsize=14448 CPUtime=0.69 /proc/4195/stat : 4195 (bsolo) R 4193 4195 3140 0 -1 4194304 1230 0 0 0 69 0 0 0 23 0 1 0 186338602 14794752 1209 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4195/statm: 3612 1209 198 640 0 2968 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14448 [startup+1.5012 s] /proc/loadavg: 0.93 0.98 0.99 2/66 4196 /proc/meminfo: memFree=1853032/2055920 swapFree=4169920/4192956 [pid=4195] ppid=4193 vsize=15484 CPUtime=1.49 /proc/4195/stat : 4195 (bsolo) R 4193 4195 3140 0 -1 4194304 1491 0 0 0 149 0 0 0 25 0 1 0 186338602 15855616 1470 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4195/statm: 3871 1470 198 640 0 3227 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15484 [startup+3.10136 s] /proc/loadavg: 0.93 0.98 0.99 2/66 4196 /proc/meminfo: memFree=1852456/2055920 swapFree=4169920/4192956 [pid=4195] ppid=4193 vsize=15868 CPUtime=3.09 /proc/4195/stat : 4195 (bsolo) R 4193 4195 3140 0 -1 4194304 1588 0 0 0 309 0 0 0 25 0 1 0 186338602 16248832 1567 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4195/statm: 3967 1567 198 640 0 3323 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15868 [startup+6.30268 s] /proc/loadavg: 0.93 0.98 0.99 2/66 4196 /proc/meminfo: memFree=1851560/2055920 swapFree=4169920/4192956 [pid=4195] ppid=4193 vsize=16632 CPUtime=6.29 /proc/4195/stat : 4195 (bsolo) R 4193 4195 3140 0 -1 4194304 1767 0 0 0 627 2 0 0 25 0 1 0 186338602 17031168 1746 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4195/statm: 4158 1746 198 640 0 3514 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16632 [startup+12.7013 s] /proc/loadavg: 0.94 0.98 0.99 2/66 4196 /proc/meminfo: memFree=1851496/2055920 swapFree=4169920/4192956 [pid=4195] ppid=4193 vsize=16872 CPUtime=12.69 /proc/4195/stat : 4195 (bsolo) R 4193 4195 3140 0 -1 4194304 1813 0 0 0 1266 3 0 0 25 0 1 0 186338602 17276928 1792 1992294400 134512640 137136520 4294956256 18446744073709551615 134555909 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4195/statm: 4218 1792 198 640 0 3574 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16872 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 2/66 4196 /proc/meminfo: memFree=1851176/2055920 swapFree=4169920/4192956 [pid=4195] ppid=4193 vsize=17608 CPUtime=25.48 /proc/4195/stat : 4195 (bsolo) R 4193 4195 3140 0 -1 4194304 2018 0 0 0 2543 5 0 0 25 0 1 0 186338602 18030592 1997 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4195/statm: 4402 1997 198 640 0 3758 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17608 Solver just ended. Dumping a history of the last processes samples [startup+25.9017 s] /proc/loadavg: 0.95 0.98 0.99 2/66 4196 /proc/meminfo: memFree=1851176/2055920 swapFree=4169920/4192956 [pid=4195] ppid=4193 vsize=17608 CPUtime=25.88 /proc/4195/stat : 4195 (bsolo) R 4193 4195 3140 0 -1 4194304 2018 0 0 0 2583 5 0 0 25 0 1 0 186338602 18030592 1997 1992294400 134512640 137136520 4294956256 18446744073709551615 136518953 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4195/statm: 4402 1997 198 640 0 3758 0 Current children cumulated CPU time (s) 25.88 Current children cumulated vsize (KiB) 17608 [startup+26.1017 s] /proc/loadavg: 0.95 0.98 0.99 2/66 4196 /proc/meminfo: memFree=1851176/2055920 swapFree=4169920/4192956 [pid=4195] ppid=4193 vsize=17608 CPUtime=26.08 /proc/4195/stat : 4195 (bsolo) R 4193 4195 3140 0 -1 4194304 2018 0 0 0 2603 5 0 0 25 0 1 0 186338602 18030592 1997 1992294400 134512640 137136520 4294956256 18446744073709551615 134616775 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4195/statm: 4402 1997 198 640 0 3758 0 Current children cumulated CPU time (s) 26.08 Current children cumulated vsize (KiB) 17608 Child status: 0 Real time (s): 26.1803 CPU time (s): 26.162 CPU user time (s): 26.107 CPU system time (s): 0.054991 CPU usage (%): 99.9301 Max. virtual memory (cumulated for all children) (KiB): 17608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 26.107 system time used= 0.054991 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2020 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= 112 runsolver used 0.029995 second user time and 0.066989 second system time The end
Begin job on node84 at 2009-06-16 23:23:20 IDJOB=1876563 IDBENCH=47973 IDSOLVER=699 FILE ID=node84/1876563-1245187400 PBS_JOBID= 9363945 Free space on /tmp= 66524 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=191-P1=151-P2=41-P3=257-P4=191-B.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876563-1245187400/watcher-1876563-1245187400 -o /tmp/evaluation-result-1876563-1245187400/solver-1876563-1245187400 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876563-1245187400.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e04f59e7146720276551350f74bab120 RANDOM SEED=700313911 node84.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.222 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.222 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1858448 kB Buffers: 32892 kB Cached: 86420 kB SwapCached: 17164 kB Active: 46432 kB Inactive: 92388 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858448 kB SwapTotal: 4192956 kB SwapFree: 4169920 kB Dirty: 4224 kB Writeback: 0 kB Mapped: 25284 kB Slab: 44516 kB Committed_AS: 95632 kB PageTables: 1404 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-1876563-1245187400.opb Free space on /tmp at the end= 66520 MiB End job on node84 at 2009-06-16 23:23:46