Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 3 | 15.9666 | 15.972 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=73-P1=113-P2=59-P3=53-P4=29-B.opb |
MD5SUM | 25501d4a2c2486afc31eecdd3e3f0e09 |
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.40579 |
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 | 84 |
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 | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 196 |
Sum of products size (including duplicates) | 392 |
Number of different products | 196 |
Sum of products size | 392 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670353-1276700811.opb 0.00/0.00 c File size is 14533 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 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: 280 Constr: 405 196/0/209 Lit: 1701 Watch. Lit: 1054 0.00/0.00 c Obj. Vars: 7 (2.5 % 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 280 405 1701 4 1459 2291 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 2.59/2.63 c 100 280 583 11085 19 1812 2521 178 4166 0.02 2.59/2.63 c 253 280 886 27435 30 2539 2774 481 4865 0.05 2.59/2.63 c 479 280 1267 49674 39 3365 3052 862 4354 0.11 2.59/2.63 c 819 280 1876 77667 41 4945 3358 1471 4265 0.19 2.59/2.63 c 1328 280 2861 119958 41 7373 3694 2456 4229 0.31 2.59/2.63 c 2092 280 2253 90129 40 5442 4064 1848 3962 0.53 2.59/2.63 c 3239 280 2438 104106 42 6142 4471 2033 3969 0.82 2.59/2.63 c 4960 280 3232 140590 43 7626 4919 2827 3754 1.32 2.59/2.63 c 7545 280 2865 99893 34 6926 5411 2460 3260 2.31 2.59/2.63 o 43 3.88/3.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.88/3.98 c 8529 280 4739 178019 37 11354 2305 4334 3242 2.63 3.88/3.98 c 8629 280 1751 62634 35 4395 2536 1346 3231 2.67 3.88/3.98 c 8879 280 2239 81030 36 5547 2790 1834 3253 2.73 3.88/3.98 c 9354 280 3150 116840 37 7628 3070 2745 3263 2.87 3.88/3.98 c 10169 280 3116 118114 37 7789 3378 2711 3297 3.08 3.88/3.98 c 11489 271 3701 148691 40 9071 3716 3296 3278 3.50 3.88/3.98 o 37 11.58/11.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.58/11.69 c 13027 271 2550 93007 36 6296 2303 2145 3274 3.98 11.58/11.69 c 13127 271 1560 52754 33 3950 2534 1155 3276 4.01 11.58/11.69 c 13377 271 2040 71990 35 5058 2788 1635 3292 4.06 11.58/11.69 c 13853 271 2925 107273 36 7019 3067 2520 3292 4.21 11.58/11.69 c 14666 271 2884 103879 36 6839 3374 2479 3282 4.47 11.58/11.69 c 15986 268 3646 132971 36 8763 3712 3241 3270 4.89 11.58/11.69 c 18067 268 3551 143604 40 8991 4084 3146 3175 5.69 11.58/11.69 c 21291 268 3038 117961 38 7921 4493 2633 2974 7.16 11.58/11.69 c 26227 268 4702 186312 39 11702 4943 4297 2702 9.70 11.58/11.69 o 9 11.78/11.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.78/11.82 c 29693 265 2883 109128 37 7118 2303 2478 2536 11.71 11.78/11.82 c 29793 265 1760 61545 34 4513 2534 1355 2538 11.74 11.78/11.82 c 30044 247 2230 81173 36 5744 2788 1825 2545 11.80 11.78/11.82 o 5 11.78/11.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.78/11.86 c 30122 247 2361 86053 36 6112 2299 1956 2547 11.82 11.78/11.86 c 30223 238 2540 93291 36 6526 2529 2135 2551 11.85 11.78/11.86 o 3 15.89/15.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.89/15.97 c 30265 238 2615 96139 36 6740 2297 2210 2552 11.86 15.89/15.97 c 30365 219 1564 53941 34 3997 2527 1159 2554 11.89 15.89/15.97 c 30615 219 1999 70171 35 5157 2780 1594 2559 11.96 15.89/15.97 c 31091 219 2883 107656 37 7346 3059 2478 2561 12.14 15.89/15.97 c 31904 219 2718 103735 38 6876 3365 2313 2550 12.51 15.89/15.97 c 33225 219 3307 128346 38 8325 3702 2902 2526 13.15 15.89/15.97 c 35306 219 3075 114928 37 7877 4073 2670 2505 14.09 15.89/15.97 c 38529 218 4411 160920 36 11159 4481 4006 2478 15.55 15.89/15.97 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 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 x36 -x37 -x38 -x39 -x40 -x41 -x42 x57 -x58 -x59 -x60 -x61 -x62 -x63 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 x43 -x44 x45 -x46 -x47 -x48 -x49 -x64 -x65 -x66 -x67 -x68 -x69 -x70 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 x50 -x51 -x52 -x53 -x54 -x55 -x56 x71 x72 -x73 -x74 -x75 -x76 -x77 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 -x78 -x79 -x80 -x81 -x82 -x83 -x84 15.89/15.97 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 15.89/15.97 c 37 39353 475 43212 3527 127213 3122 2465 15.96 15.89/15.97 c Objective: 3 15.89/15.97 s OPTIMUM FOUND 15.89/15.97 c Total time: 15.964 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-2670353-1276700811/watcher-2670353-1276700811 -o /tmp/evaluation-result-2670353-1276700811/solver-2670353-1276700811 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670353-1276700811.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.14 1.13 0.98 3/105 17073 /proc/meminfo: memFree=1890400/2059040 swapFree=4140136/4192956 [pid=17073] ppid=17071 vsize=10792 CPUtime=0 /proc/17073/stat : 17073 (bsolo_pb10) R 17071 17073 16848 0 -1 4202496 346 0 0 0 0 0 0 0 22 0 1 0 11374884 11051008 261 1992294400 134512640 137138936 4287024784 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17073/statm: 2698 261 185 642 0 2054 0 [startup+0.041324 s] /proc/loadavg: 1.14 1.13 0.98 3/105 17073 /proc/meminfo: memFree=1890400/2059040 swapFree=4140136/4192956 [pid=17073] ppid=17071 vsize=11052 CPUtime=0.03 /proc/17073/stat : 17073 (bsolo_pb10) R 17071 17073 16848 0 -1 4202496 413 0 0 0 3 0 0 0 22 0 1 0 11374884 11317248 328 1992294400 134512640 137138936 4287024784 18446744073709551615 136505105 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17073/statm: 2763 328 192 642 0 2119 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11052 [startup+0.101329 s] /proc/loadavg: 1.14 1.13 0.98 3/105 17073 /proc/meminfo: memFree=1890400/2059040 swapFree=4140136/4192956 [pid=17073] ppid=17071 vsize=11448 CPUtime=0.09 /proc/17073/stat : 17073 (bsolo_pb10) R 17071 17073 16848 0 -1 4202496 515 0 0 0 9 0 0 0 22 0 1 0 11374884 11722752 430 1992294400 134512640 137138936 4287024784 18446744073709551615 134575052 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17073/statm: 2862 430 192 642 0 2218 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11448 [startup+0.301348 s] /proc/loadavg: 1.14 1.13 0.98 3/105 17073 /proc/meminfo: memFree=1890400/2059040 swapFree=4140136/4192956 [pid=17073] ppid=17071 vsize=12616 CPUtime=0.29 /proc/17073/stat : 17073 (bsolo_pb10) R 17071 17073 16848 0 -1 4202496 785 0 0 0 29 0 0 0 23 0 1 0 11374884 12918784 700 1992294400 134512640 137138936 4287024784 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17073/statm: 3154 700 192 642 0 2510 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12616 [startup+0.701387 s] /proc/loadavg: 1.14 1.13 0.98 3/105 17073 /proc/meminfo: memFree=1890400/2059040 swapFree=4140136/4192956 [pid=17073] ppid=17071 vsize=13656 CPUtime=0.69 /proc/17073/stat : 17073 (bsolo_pb10) R 17071 17073 16848 0 -1 4202496 1063 0 0 0 68 1 0 0 25 0 1 0 11374884 13983744 978 1992294400 134512640 137138936 4287024784 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17073/statm: 3414 978 192 642 0 2770 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13656 [startup+1.50146 s] /proc/loadavg: 1.14 1.13 0.98 2/106 17074 /proc/meminfo: memFree=1887044/2059040 swapFree=4140136/4192956 [pid=17073] ppid=17071 vsize=14304 CPUtime=1.49 /proc/17073/stat : 17073 (bsolo_pb10) R 17071 17073 16848 0 -1 4202496 1232 0 0 0 148 1 0 0 25 0 1 0 11374884 14647296 1147 1992294400 134512640 137138936 4287024784 18446744073709551615 134600346 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17073/statm: 3576 1147 192 642 0 2932 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14304 [startup+3.10062 s] /proc/loadavg: 1.14 1.13 0.98 2/106 17074 /proc/meminfo: memFree=1886176/2059040 swapFree=4140136/4192956 [pid=17073] ppid=17071 vsize=14560 CPUtime=3.09 /proc/17073/stat : 17073 (bsolo_pb10) R 17071 17073 16848 0 -1 4202496 1274 0 0 0 308 1 0 0 25 0 1 0 11374884 14909440 1189 1992294400 134512640 137138936 4287024784 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17073/statm: 3640 1189 192 642 0 2996 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14560 [startup+6.30093 s] /proc/loadavg: 1.13 1.13 0.98 2/106 17074 /proc/meminfo: memFree=1886184/2059040 swapFree=4140136/4192956 [pid=17073] ppid=17071 vsize=14560 CPUtime=6.28 /proc/17073/stat : 17073 (bsolo_pb10) R 17071 17073 16848 0 -1 4202496 1274 0 0 0 626 2 0 0 25 0 1 0 11374884 14909440 1189 1992294400 134512640 137138936 4287024784 18446744073709551615 134544454 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17073/statm: 3640 1189 192 642 0 2996 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 14560 [startup+12.7005 s] /proc/loadavg: 1.12 1.12 0.98 2/106 17074 /proc/meminfo: memFree=1886060/2059040 swapFree=4140136/4192956 [pid=17073] ppid=17071 vsize=14548 CPUtime=12.68 /proc/17073/stat : 17073 (bsolo_pb10) R 17071 17073 16848 0 -1 4202496 1274 0 0 0 1263 5 0 0 25 0 1 0 11374884 14897152 1189 1992294400 134512640 137138936 4287024784 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17073/statm: 3637 1189 192 642 0 2993 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14548 Solver just ended. Dumping a history of the last processes samples [startup+14.3087 s] /proc/loadavg: 1.11 1.12 0.98 2/106 17074 /proc/meminfo: memFree=1886060/2059040 swapFree=4140136/4192956 [pid=17073] ppid=17071 vsize=14548 CPUtime=14.29 /proc/17073/stat : 17073 (bsolo_pb10) R 17071 17073 16848 0 -1 4202496 1274 0 0 0 1424 5 0 0 25 0 1 0 11374884 14897152 1189 1992294400 134512640 137138936 4287024784 18446744073709551615 134542728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17073/statm: 3637 1189 192 642 0 2993 0 Current children cumulated CPU time (s) 14.29 Current children cumulated vsize (KiB) 14548 [startup+15.1008 s] /proc/loadavg: 1.11 1.12 0.98 2/106 17074 /proc/meminfo: memFree=1886060/2059040 swapFree=4140136/4192956 [pid=17073] ppid=17071 vsize=14548 CPUtime=15.09 /proc/17073/stat : 17073 (bsolo_pb10) R 17071 17073 16848 0 -1 4202496 1274 0 0 0 1503 6 0 0 25 0 1 0 11374884 14897152 1189 1992294400 134512640 137138936 4287024784 18446744073709551615 134618135 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17073/statm: 3637 1189 192 642 0 2993 0 Current children cumulated CPU time (s) 15.09 Current children cumulated vsize (KiB) 14548 [startup+15.5008 s] /proc/loadavg: 1.11 1.12 0.98 2/106 17074 /proc/meminfo: memFree=1886060/2059040 swapFree=4140136/4192956 [pid=17073] ppid=17071 vsize=14548 CPUtime=15.49 /proc/17073/stat : 17073 (bsolo_pb10) R 17071 17073 16848 0 -1 4202496 1274 0 0 0 1543 6 0 0 25 0 1 0 11374884 14897152 1189 1992294400 134512640 137138936 4287024784 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17073/statm: 3637 1189 192 642 0 2993 0 Current children cumulated CPU time (s) 15.49 Current children cumulated vsize (KiB) 14548 [startup+15.9009 s] /proc/loadavg: 1.11 1.12 0.98 2/106 17074 /proc/meminfo: memFree=1886060/2059040 swapFree=4140136/4192956 [pid=17073] ppid=17071 vsize=14548 CPUtime=15.89 /proc/17073/stat : 17073 (bsolo_pb10) R 17071 17073 16848 0 -1 4202496 1274 0 0 0 1583 6 0 0 25 0 1 0 11374884 14897152 1189 1992294400 134512640 137138936 4287024784 18446744073709551615 134618552 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17073/statm: 3637 1189 192 642 0 2993 0 Current children cumulated CPU time (s) 15.89 Current children cumulated vsize (KiB) 14548 Child status: 0 Real time (s): 15.972 CPU time (s): 15.9666 CPU user time (s): 15.9016 CPU system time (s): 0.06499 CPU usage (%): 99.9663 Max. virtual memory (cumulated for all children) (KiB): 14560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 15.9016 system time used= 0.06499 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1275 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= 192 runsolver used 0.029995 second user time and 0.079987 second system time The end
Begin job on node089 at 2010-06-16 17:06:52 IDJOB=2670353 IDBENCH=47893 IDSOLVER=1162 FILE ID=node089/2670353-1276700811 PBS_JOBID= 11174077 Free space on /tmp= 62556 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=73-P1=113-P2=59-P3=53-P4=29-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670353-1276700811/watcher-2670353-1276700811 -o /tmp/evaluation-result-2670353-1276700811/solver-2670353-1276700811 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670353-1276700811.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 25501d4a2c2486afc31eecdd3e3f0e09 RANDOM SEED=1587206296 node089.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1893400 kB Buffers: 10388 kB Cached: 81252 kB SwapCached: 5632 kB Active: 79928 kB Inactive: 23944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1893400 kB SwapTotal: 4192956 kB SwapFree: 4140136 kB Dirty: 4000 kB Writeback: 12 kB AnonPages: 10864 kB Mapped: 12856 kB Slab: 40244 kB PageTables: 3924 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182276 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670353-1276700811.opb Free space on /tmp at the end= 62556 MiB End job on node089 at 2010-06-16 17:07:10