Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -33 | 1798.08 | 1798.83 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb |
MD5SUM | 7262f9f4ab1a3ada75b3b140acf97f7d |
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 | 1794.8 |
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 | 41605 |
Number of constraints which are clauses | 41605 |
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-1877077-1245165269.opb 0.00/0.00 c File size is 993315 bytes. 0.09/0.12 c Highest Coefficient sum: 760 0.09/0.12 c Parsing was ok!! 0.09/0.12 c Total parsing time: 0.121 s 0.09/0.13 c Var: 760 Constr: 41605 41605/0/0 Lit: 83210 Watch. Lit: 83210 0.09/0.13 c Obj. Vars: 760 (100 % of total variables) 0.79/0.80 c Pre-processing Time: 0.802 s 0.79/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.80 c 0 760 41605 83210 2 83210 13868 0 0 0.80 0.79/0.80 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 41606 83970 2 83241 14868 1 0 0.81 0.79/0.85 o -30 6.49/6.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.49/6.53 c 40 760 41649 115313 2 83357 14868 44 46 0.85 6.49/6.53 c 140 760 41761 196538 4 83581 16355 156 146 0.95 6.49/6.53 c 391 760 42048 404734 9 84155 17991 443 319 1.22 6.49/6.53 c 866 760 42588 795863 18 85235 19791 983 491 1.76 6.49/6.53 c 1679 760 43511 1465419 33 87081 21771 1906 579 2.90 6.49/6.53 c 2999 760 44976 2528354 56 90011 23949 3371 637 4.71 6.49/6.53 o -31 191.31/191.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 191.31/191.44 c 4198 760 46339 3516926 75 92768 14868 4734 643 6.53 191.31/191.44 c 4298 760 46450 3597406 77 92990 16355 4845 644 6.67 191.31/191.44 c 4549 760 46730 3800163 81 93550 17991 5125 644 7.06 191.31/191.44 c 5024 760 47269 4189760 88 94628 19791 5664 639 7.85 191.31/191.44 c 5837 760 48161 4836427 100 96412 21771 6556 630 9.26 191.31/191.44 c 7157 760 49662 5923712 119 99414 23949 8057 613 11.68 191.31/191.44 c 9239 760 52021 7631737 146 104132 26344 10416 595 15.53 191.31/191.44 c 12462 760 55701 10295936 184 111521 28979 14096 535 23.28 191.31/191.44 c 17399 760 61336 14375770 234 122791 31877 19731 470 36.99 191.31/191.44 c 24905 760 69836 20531707 293 139791 35065 28231 425 58.55 191.31/191.44 c 36266 760 60003 13394732 223 120121 38572 18398 361 100.28 191.31/191.44 c 53410 760 79316 27384218 345 158747 42430 37711 290 183.59 191.31/191.44 o -32 1444.97/1445.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1444.97/1445.67 c 56057 760 82376 29598891 359 164899 14868 40771 292 191.36 1444.97/1445.67 c 56157 760 49152 5548845 112 98336 16355 7547 286 195.91 1444.97/1445.67 c 56407 760 49446 5761179 116 98924 17991 7841 287 196.34 1444.97/1445.67 c 56883 760 49984 6149974 123 100029 19791 8379 288 197.06 1444.97/1445.67 c 57696 760 50905 6816013 133 101871 21771 9300 290 198.33 1444.97/1445.67 c 59016 760 52425 7913552 150 104911 23949 10820 294 200.72 1444.97/1445.67 c 61098 760 54786 9620521 175 109633 26344 13181 298 204.54 1444.97/1445.67 c 64321 760 58517 12312904 210 117126 28979 16912 299 214.52 1444.97/1445.67 c 69257 760 64130 16369318 255 128352 31877 22525 302 229.21 1444.97/1445.67 c 76763 760 72800 22632242 310 145722 35065 31195 305 251.20 1444.97/1445.67 c 88125 760 62966 15518286 246 125994 38572 21361 297 296.29 1444.97/1445.67 c 105269 760 55666 10227195 183 111417 42430 14061 279 376.29 1444.97/1445.67 c 131089 760 55183 9896247 179 110398 46674 13578 236 553.97 1444.97/1445.67 c 169921 760 65571 17400954 265 131204 51342 23966 224 755.82 1444.97/1445.67 c 228273 760 55004 9762255 177 110040 56477 13399 196 1161.32 1444.97/1445.67 o -33 1797.94/1798.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.94/1798.75 c 273533 760 62851 15432751 245 125792 14868 21246 189 1445.06 1797.94/1798.75 c 273633 760 49151 5538466 112 98335 16355 7546 188 1447.85 1797.94/1798.75 c 273883 760 49433 5741931 116 98899 17991 7828 189 1448.35 1797.94/1798.75 c 274358 760 49977 6134629 122 99987 19791 8372 189 1449.29 1797.94/1798.75 c 275171 760 50897 6798899 133 101827 21771 9292 189 1450.66 1797.94/1798.75 c 276491 760 52359 7855379 150 104751 23949 10754 190 1452.86 1797.94/1798.75 c 278572 760 54754 9582035 175 109541 26344 13149 191 1457.31 1797.94/1798.75 c 281795 760 58412 12223228 209 116857 28979 16807 192 1465.05 1797.94/1798.75 c 286732 760 64041 16287978 254 128115 31877 22436 193 1481.12 1797.94/1798.75 c 294238 760 72607 22471934 309 145247 35065 31002 195 1502.83 1797.94/1798.75 c 305599 760 62687 15287774 243 125437 38572 21082 198 1540.19 1797.94/1798.75 c 322743 760 56179 10590137 188 112391 42430 14574 200 1611.12 1797.94/1798.75 c 348562 760 55334 9990645 180 110701 46674 13729 201 1732.49 1797.94/1798.75 c Resources Exceeded 1797.94/1798.75 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.75 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.75 c 47 363513 28868 398900 72384 22254219 30779 202 1798.00 1797.94/1798.75 c Objective: -33 1797.94/1798.75 s SATISFIABLE 1797.94/1798.75 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-1877077-1245165269/watcher-1877077-1245165269 -o /tmp/evaluation-result-1877077-1245165269/solver-1877077-1245165269 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877077-1245165269.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.99 0.97 0.91 3/67 9337 /proc/meminfo: memFree=1326672/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=11692 CPUtime=0 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 268 0 0 0 0 0 0 0 18 0 1 0 173016209 11972608 252 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 2923 252 176 640 0 2036 0 [startup+0.00962711 s] /proc/loadavg: 0.99 0.97 0.91 3/67 9337 /proc/meminfo: memFree=1326672/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=11828 CPUtime=0 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 312 0 0 0 0 0 0 0 18 0 1 0 173016209 12111872 296 1992294400 134512640 137136520 4294956256 18446744073709551615 134517302 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 2957 297 185 640 0 2070 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11828 [startup+0.102635 s] /proc/loadavg: 0.99 0.97 0.91 3/67 9337 /proc/meminfo: memFree=1326672/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=14988 CPUtime=0.09 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 1276 0 0 0 9 0 0 0 18 0 1 0 173016209 15347712 1260 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 3747 1261 370 640 0 2860 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14988 [startup+0.301654 s] /proc/loadavg: 0.99 0.97 0.91 3/67 9337 /proc/meminfo: memFree=1326672/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=18012 CPUtime=0.29 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 2352 0 0 0 28 1 0 0 19 0 1 0 173016209 18444288 2093 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 4503 2093 190 640 0 3859 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18012 [startup+0.702689 s] /proc/loadavg: 0.99 0.97 0.91 3/67 9337 /proc/meminfo: memFree=1326672/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=18012 CPUtime=0.7 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 2352 0 0 0 67 3 0 0 23 0 1 0 173016209 18444288 2093 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 4503 2093 190 640 0 3859 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 18012 [startup+1.50176 s] /proc/loadavg: 0.99 0.97 0.91 2/68 9338 /proc/meminfo: memFree=1318280/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=23568 CPUtime=1.49 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 4324 0 0 0 145 4 0 0 25 0 1 0 173016209 24133632 3476 1992294400 134512640 137136520 4294956256 18446744073709551615 134572140 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 5892 3476 196 640 0 5248 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23568 [startup+3.1019 s] /proc/loadavg: 0.99 0.97 0.91 2/68 9338 /proc/meminfo: memFree=1308040/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=36340 CPUtime=3.09 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 7531 0 0 0 303 6 0 0 25 0 1 0 173016209 37212160 6683 1992294400 134512640 137136520 4294956256 18446744073709551615 136518854 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 9085 6683 196 640 0 8441 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36340 [startup+6.30119 s] /proc/loadavg: 0.99 0.97 0.91 2/68 9338 /proc/meminfo: memFree=1283144/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=59628 CPUtime=6.29 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 13324 0 0 0 621 8 0 0 25 0 1 0 173016209 61059072 12476 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 14907 12476 197 640 0 14263 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59628 [startup+12.7018 s] /proc/loadavg: 0.99 0.97 0.91 2/68 9338 /proc/meminfo: memFree=1242704/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=98276 CPUtime=12.68 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 22994 0 0 0 1255 13 0 0 25 0 1 0 173016209 100634624 22146 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 24569 22146 197 640 0 23925 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 98276 [startup+25.5019 s] /proc/loadavg: 0.99 0.97 0.91 2/68 9338 /proc/meminfo: memFree=1177680/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=160388 CPUtime=25.48 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 38535 0 0 0 2527 21 0 0 25 0 1 0 173016209 164237312 37687 1992294400 134512640 137136520 4294956256 18446744073709551615 134551138 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 40097 37687 197 640 0 39453 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 160388 [startup+51.1012 s] /proc/loadavg: 0.99 0.97 0.91 2/68 9338 /proc/meminfo: memFree=1080080/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=257864 CPUtime=51.07 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 62893 0 0 0 5072 35 0 0 25 0 1 0 173016209 264052736 62045 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 64466 62045 197 640 0 63822 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 257864 [startup+102.307 s] /proc/loadavg: 0.99 0.97 0.91 2/68 9338 /proc/meminfo: memFree=985872/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=350088 CPUtime=102.24 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 86004 0 0 0 10172 52 0 0 25 0 1 0 173016209 358490112 85121 1992294400 134512640 137136520 4294956256 18446744073709551615 134551440 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 87522 85121 197 640 0 86878 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 350088 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/68 9338 /proc/meminfo: memFree=985872/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=350088 CPUtime=162.22 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 86004 0 0 0 16166 56 0 0 25 0 1 0 173016209 358490112 85121 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 87522 85121 197 640 0 86878 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 350088 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/68 9338 /proc/meminfo: memFree=939664/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=396284 CPUtime=222.19 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 97577 0 0 0 22155 64 0 0 25 0 1 0 173016209 405794816 96654 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 99071 96654 197 640 0 98427 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 396284 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/68 9338 /proc/meminfo: memFree=939664/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=396284 CPUtime=282.17 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 97577 0 0 0 28149 68 0 0 25 0 1 0 173016209 405794816 96654 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 99071 96654 197 640 0 98427 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 396284 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/68 9338 /proc/meminfo: memFree=939664/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=396284 CPUtime=342.14 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 97577 0 0 0 34142 72 0 0 25 0 1 0 173016209 405794816 96654 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 99071 96654 197 640 0 98427 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 396284 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/68 9338 /proc/meminfo: memFree=939664/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=396284 CPUtime=402.13 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 97577 0 0 0 40136 77 0 0 25 0 1 0 173016209 405794816 96654 1992294400 134512640 137136520 4294956256 18446744073709551615 134616932 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 99071 96654 197 640 0 98427 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 396284 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/68 9338 /proc/meminfo: memFree=939664/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=396284 CPUtime=462.09 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 97577 0 0 0 46131 78 0 0 25 0 1 0 173016209 405794816 96654 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 99071 96654 197 640 0 98427 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 396284 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/68 9338 /proc/meminfo: memFree=939664/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=396284 CPUtime=522.07 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 97577 0 0 0 52127 80 0 0 25 0 1 0 173016209 405794816 96654 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 99071 96654 197 640 0 98427 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 396284 [startup+582.303 s] /proc/loadavg: 0.99 0.97 0.91 2/68 9338 /proc/meminfo: memFree=917840/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=418000 CPUtime=582.04 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 103062 0 0 0 58119 85 0 0 25 0 1 0 173016209 428032000 102096 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 104500 102096 197 640 0 103856 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 418000 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/68 9338 /proc/meminfo: memFree=917840/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=418000 CPUtime=642.03 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 103062 0 0 0 64114 89 0 0 25 0 1 0 173016209 428032000 102096 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 104500 102096 197 640 0 103856 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 418000 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=834448/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=501236 CPUtime=1121.81 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 123972 0 0 0 112062 119 0 0 25 0 1 0 173016209 513265664 122908 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 125309 122908 197 640 0 124665 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 501236 [startup+1182.3 s] /proc/loadavg: 1.07 1.03 0.93 2/68 9338 /proc/meminfo: memFree=834448/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=501236 CPUtime=1181.78 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 123972 0 0 0 118057 121 0 0 25 0 1 0 173016209 513265664 122908 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 125309 122908 197 640 0 124665 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 501236 [startup+1242.3 s] /proc/loadavg: 1.02 1.02 0.93 2/68 9338 /proc/meminfo: memFree=834320/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=501236 CPUtime=1241.77 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 123972 0 0 0 124051 126 0 0 25 0 1 0 173016209 513265664 122908 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 125309 122908 197 640 0 124665 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 501236 [startup+1302.3 s] /proc/loadavg: 1.01 1.01 0.93 2/68 9338 /proc/meminfo: memFree=834320/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=501236 CPUtime=1301.75 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 123972 0 0 0 130046 129 0 0 25 0 1 0 173016209 513265664 122908 1992294400 134512640 137136520 4294956256 18446744073709551615 136501956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 125309 122908 197 640 0 124665 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 501236 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 0.93 2/68 9338 /proc/meminfo: memFree=824976/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=511384 CPUtime=1361.73 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 126483 0 0 0 136041 132 0 0 25 0 1 0 173016209 523657216 125419 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 127846 125419 197 640 0 127202 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 511384 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/68 9338 /proc/meminfo: memFree=786000/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=549492 CPUtime=1421.69 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 136082 0 0 0 142029 140 0 0 25 0 1 0 173016209 562679808 134962 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 137373 134962 197 640 0 136729 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 549492 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/68 9338 /proc/meminfo: memFree=786000/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=549492 CPUtime=1481.66 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 136082 0 0 0 148022 144 0 0 25 0 1 0 173016209 562679808 134962 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 137373 134962 197 640 0 136729 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 549492 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/68 9338 /proc/meminfo: memFree=786000/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=549492 CPUtime=1541.64 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 136082 0 0 0 154016 148 0 0 25 0 1 0 173016209 562679808 134962 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 137373 134962 197 640 0 136729 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 549492 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/68 9338 /proc/meminfo: memFree=786000/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=549492 CPUtime=1601.62 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 136082 0 0 0 160011 151 0 0 25 0 1 0 173016209 562679808 134962 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 137373 134962 197 640 0 136729 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 549492 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/68 9338 /proc/meminfo: memFree=786000/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=549492 CPUtime=1661.59 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 136082 0 0 0 166005 154 0 0 25 0 1 0 173016209 562679808 134962 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 137373 134962 197 640 0 136729 0 Current children cumulated CPU time (s) 1661.59 Current children cumulated vsize (KiB) 549492 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/68 9340 /proc/meminfo: memFree=785872/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=549492 CPUtime=1721.57 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 136082 0 0 0 172000 157 0 0 25 0 1 0 173016209 562679808 134962 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 137373 134962 197 640 0 136729 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 549492 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/68 9340 /proc/meminfo: memFree=785872/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=549492 CPUtime=1781.54 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 136082 0 0 0 177994 160 0 0 25 0 1 0 173016209 562679808 134962 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 137373 134962 197 640 0 136729 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 549492 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.93 2/68 9340 /proc/meminfo: memFree=785872/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=549492 CPUtime=1791.15 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 136082 0 0 0 178954 161 0 0 25 0 1 0 173016209 562679808 134962 1992294400 134512640 137136520 4294956256 18446744073709551615 134598524 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 137373 134962 197 640 0 136729 0 Current children cumulated CPU time (s) 1791.15 Current children cumulated vsize (KiB) 549492 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.93 2/68 9340 /proc/meminfo: memFree=785872/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=549492 CPUtime=1794.35 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 136082 0 0 0 179274 161 0 0 25 0 1 0 173016209 562679808 134962 1992294400 134512640 137136520 4294956256 18446744073709551615 134551971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 137373 134962 197 640 0 136729 0 Current children cumulated CPU time (s) 1794.35 Current children cumulated vsize (KiB) 549492 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.93 2/68 9340 /proc/meminfo: memFree=785872/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=549492 CPUtime=1795.94 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 136082 0 0 0 179433 161 0 0 25 0 1 0 173016209 562679808 134962 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 137373 134962 197 640 0 136729 0 Current children cumulated CPU time (s) 1795.94 Current children cumulated vsize (KiB) 549492 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.93 2/68 9340 /proc/meminfo: memFree=785872/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=549492 CPUtime=1796.74 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 136082 0 0 0 179513 161 0 0 25 0 1 0 173016209 562679808 134962 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 137373 134962 197 640 0 136729 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (KiB) 549492 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.93 2/68 9340 /proc/meminfo: memFree=785872/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=549492 CPUtime=1797.54 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 136082 0 0 0 179593 161 0 0 25 0 1 0 173016209 562679808 134962 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 137373 134962 197 640 0 136729 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (KiB) 549492 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 0.93 2/68 9340 /proc/meminfo: memFree=785872/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=549492 CPUtime=1797.94 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194304 136082 0 0 0 179633 161 0 0 25 0 1 0 173016209 562679808 134962 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 137373 134962 197 640 0 136729 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 549492 [startup+1798.8 s] /proc/loadavg: 1.00 1.00 0.93 2/68 9340 /proc/meminfo: memFree=785872/2055920 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=0 CPUtime=1798.03 /proc/9337/stat : 9337 (bsolo) R 9335 9337 9148 0 -1 4194308 136084 0 0 0 179638 165 0 0 17 0 1 0 173016209 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9337/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.03 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.83 CPU time (s): 1798.08 CPU user time (s): 1796.39 CPU system time (s): 1.68974 CPU usage (%): 99.9582 Max. virtual memory (cumulated for all children) (KiB): 549492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.39 system time used= 1.68974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 136084 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= 3 involuntary context switches= 5151 runsolver used 1.55276 second user time and 4.99524 second system time The end
Begin job on node68 at 2009-06-16 17:14:29 IDJOB=1877077 IDBENCH=2244 IDSOLVER=699 FILE ID=node68/1877077-1245165269 PBS_JOBID= 9363870 Free space on /tmp= 66472 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-4.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877077-1245165269/watcher-1877077-1245165269 -o /tmp/evaluation-result-1877077-1245165269/solver-1877077-1245165269 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877077-1245165269.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7262f9f4ab1a3ada75b3b140acf97f7d RANDOM SEED=2041296884 node68.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.238 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.238 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: 1327088 kB Buffers: 67732 kB Cached: 564872 kB SwapCached: 0 kB Active: 314996 kB Inactive: 334044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1327088 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4908 kB Writeback: 0 kB Mapped: 26464 kB Slab: 65372 kB Committed_AS: 81780 kB PageTables: 1564 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877077-1245165269.opb Free space on /tmp at the end= 66468 MiB End job on node68 at 2009-06-16 17:44:28