Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -33 | 1798.09 | 1798.63 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb |
MD5SUM | 5249f5f1c551add7f5b5b920fc1c3b9c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 1795.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -40 |
Optimality of the best value was proved | NO |
Number of variables | 760 |
Total number of constraints | 41263 |
Number of constraints which are clauses | 41263 |
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 | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 760 |
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 | 760 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 760 |
Number of bits of the biggest sum of numbers | 10 |
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: 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-1877145-1245165034.opb 0.00/0.00 c File size is 986607 bytes. 0.09/0.13 c Highest Coefficient sum: 760 0.09/0.13 c Parsing was ok!! 0.09/0.13 c Total parsing time: 0.13 s 0.09/0.14 c Var: 760 Constr: 41263 41263/0/0 Lit: 82526 Watch. Lit: 82526 0.09/0.14 c Obj. Vars: 760 (100 % of total variables) 0.79/0.80 c Pre-processing Time: 0.807 s 0.79/0.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.81 c 0 760 41263 82526 2 82526 13754 0 0 0.81 0.79/0.81 c Switching off lower bounding mode. 0.79/0.81 o -29 0.79/0.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.85 c 0 760 41264 83286 2 82557 14754 1 0 0.82 0.79/0.85 o -30 1.19/1.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.28 c 32 760 41300 109505 2 82659 14754 37 37 0.85 1.19/1.28 c 132 760 41410 189334 4 82879 16230 147 137 0.96 1.19/1.28 c 383 760 41694 395405 9 83447 17854 431 302 1.27 1.19/1.28 o -31 3.69/3.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.70 c 393 760 41706 404151 9 83502 14754 443 306 1.28 3.69/3.70 c 493 760 41823 488892 11 83736 16230 560 352 1.40 3.69/3.70 c 743 760 42108 695177 16 84306 17854 845 433 1.71 3.69/3.70 c 1219 760 42641 1081262 25 85372 19640 1378 525 2.32 3.69/3.70 c 2032 760 43575 1757308 40 87240 21605 2312 589 3.45 3.69/3.70 o -32 1108.45/1108.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1108.45/1108.82 c 2229 760 43803 1922486 43 87728 14754 2540 601 3.71 1108.45/1108.82 c 2329 760 43913 2002094 45 87948 16230 2650 605 3.85 1108.45/1108.82 c 2579 760 44194 2205324 49 88510 17854 2931 615 4.19 1108.45/1108.82 c 3054 760 44704 2574561 57 89530 19640 3441 616 4.95 1108.45/1108.82 c 3867 760 45617 3235238 70 91356 21605 4354 623 6.21 1108.45/1108.82 c 5187 760 47128 4328012 91 94378 23766 5865 624 8.31 1108.45/1108.82 c 7268 760 49506 6047989 122 99134 26143 8243 588 12.35 1108.45/1108.82 c 10491 760 53206 8723325 163 106534 28758 11943 542 19.34 1108.45/1108.82 c 15427 760 58899 12832235 217 117920 31634 17636 455 33.84 1108.45/1108.82 c 22933 760 67517 19062330 282 135186 34798 26254 402 56.99 1108.45/1108.82 c 34295 760 57598 11892368 206 115258 38278 16335 334 102.59 1108.45/1108.82 c 51439 760 77114 26004267 337 154290 42106 35851 293 175.10 1108.45/1108.82 c 77259 760 77063 25924898 336 154245 46317 35800 247 311.66 1108.45/1108.82 c 116092 760 54384 9562535 175 108889 50949 13121 199 580.55 1108.45/1108.82 c 174445 760 82547 29924387 362 165155 56044 41284 180 966.75 1108.45/1108.82 o -33 1797.94/1798.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.94/1798.55 c 196479 760 64038 16553616 258 128141 14754 22775 177 1108.48 1797.94/1798.55 c 196579 760 48751 5495227 112 97535 16230 7488 176 1111.98 1797.94/1798.55 c 196829 760 49024 5692423 116 98081 17854 7761 176 1112.45 1797.94/1798.55 c 197304 760 49560 6079693 122 99153 19640 8297 177 1113.36 1797.94/1798.55 c 198118 760 50464 6732529 133 100961 21605 9201 177 1114.67 1797.94/1798.55 c 199438 760 51960 7812186 150 103953 23766 10697 178 1117.45 1797.94/1798.55 c 201520 760 54319 9514324 175 108671 26143 13056 179 1121.80 1797.94/1798.55 c 204743 760 57932 12124466 209 115897 28758 16669 181 1129.55 1797.94/1798.55 c 209679 760 63510 16152396 254 127053 31634 22247 183 1142.53 1797.94/1798.55 c 217185 760 72042 22312824 309 144117 34798 30779 186 1167.17 1797.94/1798.55 c 228546 760 61879 14964786 241 123849 38278 20616 187 1217.92 1797.94/1798.55 c 245690 760 55011 9998643 181 110086 42106 13748 190 1291.19 1797.94/1798.55 c 271509 760 54697 9769610 178 109457 46317 13434 191 1415.30 1797.94/1798.55 c 310342 760 64480 16809917 260 129052 50949 23217 188 1645.65 1797.94/1798.55 c Resources Exceeded 1797.94/1798.55 v -x760 -x759 -x758 x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1 1797.94/1798.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.55 c 38 337702 28896 373164 57705 11943433 16442 187 1798.00 1797.94/1798.55 c Objective: -33 1797.94/1798.55 s SATISFIABLE 1797.94/1798.55 c Total time: 1798 s
OK -33
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877145-1245165034/watcher-1877145-1245165034 -o /tmp/evaluation-result-1877145-1245165034/solver-1877145-1245165034 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877145-1245165034.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.92 0.98 0.99 3/64 6683 /proc/meminfo: memFree=1855648/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=11680 CPUtime=0 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 256 0 0 0 0 0 0 0 18 0 1 0 184102702 11960320 240 1992294400 134512640 137136520 4294956256 18446744073709551615 136668746 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 2920 241 174 640 0 2035 0 [startup+0.050784 s] /proc/loadavg: 0.92 0.98 0.99 3/64 6683 /proc/meminfo: memFree=1855648/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=13192 CPUtime=0.04 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 703 0 0 0 4 0 0 0 18 0 1 0 184102702 13508608 687 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 3298 687 259 640 0 2413 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13192 [startup+0.102792 s] /proc/loadavg: 0.92 0.98 0.99 3/64 6683 /proc/meminfo: memFree=1855648/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=14708 CPUtime=0.09 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 1198 0 0 0 9 0 0 0 18 0 1 0 184102702 15060992 1182 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 3677 1183 355 640 0 2792 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14708 [startup+0.302821 s] /proc/loadavg: 0.92 0.98 0.99 3/64 6683 /proc/meminfo: memFree=1855648/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=18004 CPUtime=0.29 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 2335 0 0 0 28 1 0 0 19 0 1 0 184102702 18436096 2078 1992294400 134512640 137136520 4294956256 18446744073709551615 134540276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 4501 2078 190 640 0 3857 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18004 [startup+0.701883 s] /proc/loadavg: 0.92 0.98 0.99 3/64 6683 /proc/meminfo: memFree=1855648/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=18004 CPUtime=0.69 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 2335 0 0 0 66 3 0 0 22 0 1 0 184102702 18436096 2078 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 4501 2078 190 640 0 3857 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18004 [startup+1.502 s] /proc/loadavg: 0.92 0.98 0.99 2/65 6684 /proc/meminfo: memFree=1847576/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=22892 CPUtime=1.49 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 4141 0 0 0 145 4 0 0 25 0 1 0 184102702 23441408 3300 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 5723 3300 196 640 0 5079 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22892 [startup+3.10125 s] /proc/loadavg: 0.93 0.98 0.99 2/65 6684 /proc/meminfo: memFree=1838040/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=35696 CPUtime=3.09 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 7351 0 0 0 303 6 0 0 25 0 1 0 184102702 36552704 6510 1992294400 134512640 137136520 4294956256 18446744073709551615 134606742 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 8924 6510 196 640 0 8280 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35696 [startup+6.30174 s] /proc/loadavg: 0.93 0.98 0.99 2/65 6684 /proc/meminfo: memFree=1813656/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=57992 CPUtime=6.29 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 12908 0 0 0 622 7 0 0 25 0 1 0 184102702 59383808 12067 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 14498 12067 197 640 0 13854 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 57992 [startup+12.7017 s] /proc/loadavg: 0.94 0.98 0.99 2/65 6684 /proc/meminfo: memFree=1773664/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=95500 CPUtime=12.68 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 22306 0 0 0 1256 12 0 0 25 0 1 0 184102702 97792000 21465 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 23875 21465 197 640 0 23231 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 95500 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/65 6684 /proc/meminfo: memFree=1713896/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=152684 CPUtime=25.48 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 36609 0 0 0 2528 20 0 0 25 0 1 0 184102702 156348416 35768 1992294400 134512640 137136520 4294956256 18446744073709551615 134616816 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 38171 35768 197 640 0 37527 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 152684 [startup+51.1026 s] /proc/loadavg: 0.96 0.98 0.99 2/65 6684 /proc/meminfo: memFree=1619240/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=247828 CPUtime=51.08 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 60379 0 0 0 5072 36 0 0 25 0 1 0 184102702 253775872 59538 1992294400 134512640 137136520 4294956256 18446744073709551615 136501957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 61957 59538 197 640 0 61313 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 247828 [startup+102.304 s] /proc/loadavg: 0.98 0.98 0.99 2/65 6684 /proc/meminfo: memFree=1517864/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=347184 CPUtime=102.27 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 85256 0 0 0 10174 53 0 0 25 0 1 0 184102702 355516416 84380 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 86796 84380 197 640 0 86152 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 347184 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6684 /proc/meminfo: memFree=1517864/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=347184 CPUtime=162.25 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 85256 0 0 0 16168 57 0 0 25 0 1 0 184102702 355516416 84380 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 86796 84380 197 640 0 86152 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 347184 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6684 /proc/meminfo: memFree=1449768/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=415092 CPUtime=222.22 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 102266 0 0 0 22152 70 0 0 25 0 1 0 184102702 425054208 101348 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 103773 101348 197 640 0 103129 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 415092 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6684 /proc/meminfo: memFree=1449768/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=415092 CPUtime=282.2 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 102266 0 0 0 28147 73 0 0 25 0 1 0 184102702 425054208 101348 1992294400 134512640 137136520 4294956256 18446744073709551615 134551589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 103773 101348 197 640 0 103129 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 415092 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6684 /proc/meminfo: memFree=1442280/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=423480 CPUtime=342.19 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 104374 0 0 0 34140 79 0 0 25 0 1 0 184102702 433643520 103456 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 105870 103456 197 640 0 105226 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 423480 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6684 /proc/meminfo: memFree=1410600/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=453988 CPUtime=402.16 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 112057 0 0 0 40130 86 0 0 25 0 1 0 184102702 464883712 111093 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 113497 111093 197 640 0 112853 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 453988 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6684 /proc/meminfo: memFree=1410600/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=453988 CPUtime=462.15 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 112057 0 0 0 46126 89 0 0 25 0 1 0 184102702 464883712 111093 1992294400 134512640 137136520 4294956256 18446744073709551615 136502032 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 113497 111093 197 640 0 112853 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 453988 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6684 /proc/meminfo: memFree=1410600/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=453988 CPUtime=522.13 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 112057 0 0 0 52120 93 0 0 25 0 1 0 184102702 464883712 111093 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 113497 111093 197 640 0 112853 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 453988 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6684 /proc/meminfo: memFree=1410664/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=453988 CPUtime=582.12 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 112057 0 0 0 58116 96 0 0 25 0 1 0 184102702 464883712 111093 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 113497 111093 197 640 0 112853 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 453988 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6684 /proc/meminfo: memFree=1410664/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=453988 CPUtime=642.1 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 112057 0 0 0 64111 99 0 0 25 0 1 0 184102702 464883712 111093 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 113497 111093 197 640 0 112853 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 453988 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1318696/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=545604 CPUtime=1121.95 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 135054 0 0 0 112060 135 0 0 25 0 1 0 184102702 558698496 133983 1992294400 134512640 137136520 4294956256 18446744073709551615 134571446 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 136401 133983 197 640 0 135757 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 545604 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6684 /proc/meminfo: memFree=1318696/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=545604 CPUtime=1181.93 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 135054 0 0 0 118053 140 0 0 25 0 1 0 184102702 558698496 133983 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 136401 133983 197 640 0 135757 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 545604 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6684 /proc/meminfo: memFree=1318632/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=545604 CPUtime=1241.91 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 135054 0 0 0 124048 143 0 0 25 0 1 0 184102702 558698496 133983 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 136401 133983 197 640 0 135757 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 545604 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6684 /proc/meminfo: memFree=1318632/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=545604 CPUtime=1301.89 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 135054 0 0 0 130044 145 0 0 25 0 1 0 184102702 558698496 133983 1992294400 134512640 137136520 4294956256 18446744073709551615 134551920 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 136401 133983 197 640 0 135757 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 545604 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6684 /proc/meminfo: memFree=1318632/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=545604 CPUtime=1361.88 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 135054 0 0 0 136039 149 0 0 25 0 1 0 184102702 558698496 133983 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 136401 133983 197 640 0 135757 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 545604 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6684 /proc/meminfo: memFree=1318632/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=545604 CPUtime=1421.87 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 135054 0 0 0 142035 152 0 0 25 0 1 0 184102702 558698496 133983 1992294400 134512640 137136520 4294956256 18446744073709551615 134600631 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 136401 133983 197 640 0 135757 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 545604 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6684 /proc/meminfo: memFree=1318632/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=545604 CPUtime=1481.84 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 135054 0 0 0 148029 155 0 0 25 0 1 0 184102702 558698496 133983 1992294400 134512640 137136520 4294956256 18446744073709551615 134606774 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 136401 133983 197 640 0 135757 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 545604 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6684 /proc/meminfo: memFree=1318568/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=545604 CPUtime=1541.82 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 135054 0 0 0 154024 158 0 0 25 0 1 0 184102702 558698496 133983 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 136401 133983 197 640 0 135757 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 545604 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6684 /proc/meminfo: memFree=1318568/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=545604 CPUtime=1601.8 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 135054 0 0 0 160020 160 0 0 25 0 1 0 184102702 558698496 133983 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 136401 133983 197 640 0 135757 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 545604 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6684 /proc/meminfo: memFree=1318504/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=545604 CPUtime=1661.79 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 135054 0 0 0 166015 164 0 0 25 0 1 0 184102702 558698496 133983 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 136401 133983 197 640 0 135757 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 545604 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6684 /proc/meminfo: memFree=1318504/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=545604 CPUtime=1721.77 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 135054 0 0 0 172010 167 0 0 25 0 1 0 184102702 558698496 133983 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 136401 133983 197 640 0 135757 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 545604 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6684 /proc/meminfo: memFree=1318440/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=545604 CPUtime=1781.75 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 135054 0 0 0 178006 169 0 0 25 0 1 0 184102702 558698496 133983 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 136401 133983 197 640 0 135757 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 545604 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6684 /proc/meminfo: memFree=1318440/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=545604 CPUtime=1791.35 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 135054 0 0 0 178966 169 0 0 25 0 1 0 184102702 558698496 133983 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 136401 133983 197 640 0 135757 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (KiB) 545604 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6684 /proc/meminfo: memFree=1318440/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=545604 CPUtime=1794.55 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 135054 0 0 0 179286 169 0 0 25 0 1 0 184102702 558698496 133983 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 136401 133983 197 640 0 135757 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (KiB) 545604 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6684 /proc/meminfo: memFree=1318440/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=545604 CPUtime=1796.14 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 135054 0 0 0 179445 169 0 0 25 0 1 0 184102702 558698496 133983 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 136401 133983 197 640 0 135757 0 Current children cumulated CPU time (s) 1796.14 Current children cumulated vsize (KiB) 545604 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6684 /proc/meminfo: memFree=1318440/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=545604 CPUtime=1796.94 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 135054 0 0 0 179525 169 0 0 25 0 1 0 184102702 558698496 133983 1992294400 134512640 137136520 4294956256 18446744073709551615 136502553 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 136401 133983 197 640 0 135757 0 Current children cumulated CPU time (s) 1796.94 Current children cumulated vsize (KiB) 545604 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6684 /proc/meminfo: memFree=1318440/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=545604 CPUtime=1797.74 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 135054 0 0 0 179605 169 0 0 25 0 1 0 184102702 558698496 133983 1992294400 134512640 137136520 4294956256 18446744073709551615 136502032 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 136401 133983 197 640 0 135757 0 Current children cumulated CPU time (s) 1797.74 Current children cumulated vsize (KiB) 545604 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6684 /proc/meminfo: memFree=1318440/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=545604 CPUtime=1797.94 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194304 135054 0 0 0 179625 169 0 0 25 0 1 0 184102702 558698496 133983 1992294400 134512640 137136520 4294956256 18446744073709551615 136500599 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6683/statm: 136401 133983 197 640 0 135757 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 545604 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6684 /proc/meminfo: memFree=1318440/2055920 swapFree=4191900/4192956 [pid=6683] ppid=6681 vsize=0 CPUtime=1798.05 /proc/6683/stat : 6683 (bsolo) R 6681 6683 6640 0 -1 4194308 135056 0 0 0 179630 175 0 0 17 0 1 0 184102702 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6683/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.05 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.63 CPU time (s): 1798.09 CPU user time (s): 1796.3 CPU system time (s): 1.78273 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 545604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.3 system time used= 1.78273 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 135056 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= 4 involuntary context switches= 1872 runsolver used 1.2868 second user time and 3.85441 second system time The end
Begin job on node34 at 2009-06-16 17:10:34 IDJOB=1877145 IDBENCH=2242 IDSOLVER=699 FILE ID=node34/1877145-1245165034 PBS_JOBID= 9363877 Free space on /tmp= 66252 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877145-1245165034/watcher-1877145-1245165034 -o /tmp/evaluation-result-1877145-1245165034/solver-1877145-1245165034 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877145-1245165034.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5249f5f1c551add7f5b5b920fc1c3b9c RANDOM SEED=1832492119 node34.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.263 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.263 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: 1856192 kB Buffers: 33856 kB Cached: 92772 kB SwapCached: 260 kB Active: 46164 kB Inactive: 93596 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1856192 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 5024 kB Writeback: 0 kB Mapped: 21672 kB Slab: 46020 kB Committed_AS: 170224 kB PageTables: 1384 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-1877145-1245165034.opb Free space on /tmp at the end= 66248 MiB End job on node34 at 2009-06-16 17:40:33