Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | OPT | 3 | 11.1073 | 11.1104 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb |
MD5SUM | 773aedb43187ca11a13e2d0d2a59ebe9 |
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 | 4.89525 |
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 | 135 |
Total number of constraints | 11 |
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 | 11 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 405 |
Sum of products size (including duplicates) | 810 |
Number of different products | 405 |
Sum of products size | 810 |
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-1876641-1245188948.opb 0.00/0.00 c File size is 30042 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 540 Constr: 826 405/0/421 Lit: 3456 Watch. Lit: 2117 0.00/0.00 c Obj. Vars: 9 (1.66667 % of total variables) 0.00/0.01 c Pre-processing Time: 0.009 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 540 826 3456 4 2973 4616 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 3.69/3.78 c 104 540 981 15092 15 3293 5078 155 3714 0.03 3.69/3.78 c 256 540 1169 31356 26 3647 5586 343 3282 0.08 3.69/3.78 c 482 540 1486 52703 35 4581 6145 660 3983 0.12 3.69/3.78 c 821 540 1957 82670 42 5665 6760 1131 4343 0.19 3.69/3.78 c 1330 540 2664 124747 46 7341 7437 1838 4262 0.31 3.69/3.78 c 2094 540 3693 190588 51 9724 8181 2867 4034 0.52 3.69/3.78 c 3240 520 5206 291680 56 13136 9000 4380 3483 0.93 3.69/3.78 c 4961 520 7412 432083 58 18130 9901 6586 3268 1.52 3.69/3.78 c 7545 520 10264 633504 61 24116 10892 9438 2525 2.99 3.69/3.78 o 65 5.59/5.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.65 c 9319 520 6332 410703 64 14367 4634 5506 2464 3.78 5.59/5.65 c 9419 520 3259 189938 58 7987 5098 2433 2464 3.82 5.59/5.65 c 9670 520 3567 215660 60 8683 5608 2741 2487 3.89 5.59/5.65 c 10145 520 4094 258997 63 9753 6169 3268 2526 4.01 5.59/5.65 c 10960 509 5224 333933 63 12183 6786 4398 2589 4.23 5.59/5.65 c 12281 509 6795 440320 64 15612 7465 5969 2670 4.60 5.59/5.65 c 14363 508 5281 302964 57 12516 8212 4455 2710 5.30 5.59/5.65 o 3 11.09/11.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.09/11.10 c 15707 508 6863 412377 60 16038 4634 6037 2779 5.65 11.09/11.10 c 15808 498 3296 173061 52 8219 5098 2470 2774 5.70 11.09/11.10 c 16058 498 3639 194542 53 9042 5608 2813 2787 5.76 11.09/11.10 c 16533 446 4333 229320 52 10668 6169 3507 2801 5.90 11.09/11.10 c 17347 419 5336 287140 53 12908 6786 4510 2828 6.13 11.09/11.10 c 18668 419 6925 383774 55 16526 7465 6099 2842 6.57 11.09/11.10 c 20749 399 5473 256238 46 12992 8212 4647 2722 7.62 11.09/11.10 c 23973 396 9169 425696 46 21035 9034 8343 2527 9.48 11.09/11.10 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 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 x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 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 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 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 x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 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 x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 11.09/11.10 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 11.09/11.10 c 24 26569 416 32069 7516 291252 6690 2392 11.10 11.09/11.10 c Objective: 3 11.09/11.10 s OPTIMUM FOUND 11.09/11.10 c Total time: 11.103 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-1876641-1245188948/watcher-1876641-1245188948 -o /tmp/evaluation-result-1876641-1245188948/solver-1876641-1245188948 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876641-1245188948.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 0.94 3/65 28463 /proc/meminfo: memFree=1831616/2055920 swapFree=4192812/4192956 [pid=28463] ppid=28461 vsize=10740 CPUtime=0 /proc/28463/stat : 28463 (bsolo) R 28461 28463 26968 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 98316642 10997760 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28463/statm: 2685 241 176 640 0 2033 0 [startup+0.0770791 s] /proc/loadavg: 1.00 1.00 0.94 3/65 28463 /proc/meminfo: memFree=1831616/2055920 swapFree=4192812/4192956 [pid=28463] ppid=28461 vsize=11236 CPUtime=0.07 /proc/28463/stat : 28463 (bsolo) R 28461 28463 26968 0 -1 4194304 418 0 0 0 7 0 0 0 18 0 1 0 98316642 11505664 394 1992294400 134512640 137136520 4294956256 18446744073709551615 134544503 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28463/statm: 2809 395 198 640 0 2165 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11236 [startup+0.102082 s] /proc/loadavg: 1.00 1.00 0.94 3/65 28463 /proc/meminfo: memFree=1831616/2055920 swapFree=4192812/4192956 [pid=28463] ppid=28461 vsize=11488 CPUtime=0.09 /proc/28463/stat : 28463 (bsolo) R 28461 28463 26968 0 -1 4194304 466 0 0 0 9 0 0 0 18 0 1 0 98316642 11763712 442 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28463/statm: 2872 442 198 640 0 2228 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11488 [startup+0.302106 s] /proc/loadavg: 1.00 1.00 0.94 3/65 28463 /proc/meminfo: memFree=1831616/2055920 swapFree=4192812/4192956 [pid=28463] ppid=28461 vsize=12508 CPUtime=0.29 /proc/28463/stat : 28463 (bsolo) R 28461 28463 26968 0 -1 4194304 749 0 0 0 29 0 0 0 19 0 1 0 98316642 12808192 725 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28463/statm: 3127 725 198 640 0 2483 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12508 [startup+0.702157 s] /proc/loadavg: 1.00 1.00 0.94 3/65 28463 /proc/meminfo: memFree=1831616/2055920 swapFree=4192812/4192956 [pid=28463] ppid=28461 vsize=14300 CPUtime=0.69 /proc/28463/stat : 28463 (bsolo) R 28461 28463 26968 0 -1 4194304 1176 0 0 0 69 0 0 0 23 0 1 0 98316642 14643200 1152 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28463/statm: 3575 1152 198 640 0 2931 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14300 [startup+1.50126 s] /proc/loadavg: 1.00 1.00 0.94 2/66 28464 /proc/meminfo: memFree=1826872/2055920 swapFree=4192812/4192956 [pid=28463] ppid=28461 vsize=17096 CPUtime=1.49 /proc/28463/stat : 28463 (bsolo) R 28461 28463 26968 0 -1 4194304 1875 0 0 0 148 1 0 0 25 0 1 0 98316642 17506304 1851 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28463/statm: 4274 1851 198 640 0 3630 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17096 [startup+3.10146 s] /proc/loadavg: 1.00 1.00 0.94 2/66 28464 /proc/meminfo: memFree=1823352/2055920 swapFree=4192812/4192956 [pid=28463] ppid=28461 vsize=20128 CPUtime=3.09 /proc/28463/stat : 28463 (bsolo) R 28461 28463 26968 0 -1 4194304 2651 0 0 0 308 1 0 0 25 0 1 0 98316642 20611072 2627 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28463/statm: 5032 2627 198 640 0 4388 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20128 [startup+6.30186 s] /proc/loadavg: 1.00 1.00 0.94 2/66 28464 /proc/meminfo: memFree=1819512/2055920 swapFree=4192812/4192956 [pid=28463] ppid=28461 vsize=22260 CPUtime=6.29 /proc/28463/stat : 28463 (bsolo) R 28461 28463 26968 0 -1 4194304 3169 0 0 0 627 2 0 0 25 0 1 0 98316642 22794240 3145 1992294400 134512640 137136520 4294956256 18446744073709551615 134606757 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28463/statm: 5565 3145 198 640 0 4921 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22260 Solver just ended. Dumping a history of the last processes samples [startup+9.50126 s] /proc/loadavg: 1.00 1.00 0.94 2/66 28464 /proc/meminfo: memFree=1819512/2055920 swapFree=4192812/4192956 [pid=28463] ppid=28461 vsize=22260 CPUtime=9.49 /proc/28463/stat : 28463 (bsolo) R 28461 28463 26968 0 -1 4194304 3169 0 0 0 946 3 0 0 25 0 1 0 98316642 22794240 3145 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28463/statm: 5565 3145 198 640 0 4921 0 Current children cumulated CPU time (s) 9.49 Current children cumulated vsize (KiB) 22260 [startup+10.3014 s] /proc/loadavg: 1.00 1.00 0.94 2/66 28464 /proc/meminfo: memFree=1819512/2055920 swapFree=4192812/4192956 [pid=28463] ppid=28461 vsize=22260 CPUtime=10.29 /proc/28463/stat : 28463 (bsolo) R 28461 28463 26968 0 -1 4194304 3169 0 0 0 1026 3 0 0 25 0 1 0 98316642 22794240 3145 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28463/statm: 5565 3145 198 640 0 4921 0 Current children cumulated CPU time (s) 10.29 Current children cumulated vsize (KiB) 22260 [startup+10.7014 s] /proc/loadavg: 1.00 1.00 0.94 2/66 28464 /proc/meminfo: memFree=1819512/2055920 swapFree=4192812/4192956 [pid=28463] ppid=28461 vsize=22260 CPUtime=10.69 /proc/28463/stat : 28463 (bsolo) R 28461 28463 26968 0 -1 4194304 3169 0 0 0 1066 3 0 0 25 0 1 0 98316642 22794240 3145 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28463/statm: 5565 3145 198 640 0 4921 0 Current children cumulated CPU time (s) 10.69 Current children cumulated vsize (KiB) 22260 [startup+11.1015 s] /proc/loadavg: 1.00 1.00 0.94 2/66 28464 /proc/meminfo: memFree=1819384/2055920 swapFree=4192812/4192956 [pid=28463] ppid=28461 vsize=22260 CPUtime=11.09 /proc/28463/stat : 28463 (bsolo) R 28461 28463 26968 0 -1 4194304 3169 0 0 0 1106 3 0 0 25 0 1 0 98316642 22794240 3145 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28463/statm: 5565 3145 198 640 0 4921 0 Current children cumulated CPU time (s) 11.09 Current children cumulated vsize (KiB) 22260 Child status: 0 Real time (s): 11.1104 CPU time (s): 11.1073 CPU user time (s): 11.0693 CPU system time (s): 0.037994 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 22268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.0693 system time used= 0.037994 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3171 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= 26 runsolver used 0.012998 second user time and 0.035994 second system time The end
Begin job on node92 at 2009-06-16 23:49:08 IDJOB=1876641 IDBENCH=48051 IDSOLVER=699 FILE ID=node92/1876641-1245188948 PBS_JOBID= 9368275 Free space on /tmp= 66472 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876641-1245188948/watcher-1876641-1245188948 -o /tmp/evaluation-result-1876641-1245188948/solver-1876641-1245188948 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876641-1245188948.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 773aedb43187ca11a13e2d0d2a59ebe9 RANDOM SEED=1539846355 node92.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.233 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.233 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: 1832160 kB Buffers: 19376 kB Cached: 140420 kB SwapCached: 140 kB Active: 52452 kB Inactive: 121332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1832160 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 23636 kB Slab: 35816 kB Committed_AS: 74764 kB PageTables: 1472 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-1876641-1245188948.opb Free space on /tmp at the end= 66468 MiB End job on node92 at 2009-06-16 23:49:20