Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 5 | 1798.01 | 1798.44 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=383-P1=149-P2=409-P3=307-P4=127-P5=191-P6=227-P7=281-P8=211-B.opb |
MD5SUM | 1d88cb7e119c66203d260e6c8e2ab364 |
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 | 6.77897 |
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 | 216 |
Total number of constraints | 17 |
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 | 17 |
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) | 648 |
Sum of products size (including duplicates) | 1296 |
Number of different products | 648 |
Sum of products size | 1296 |
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: Clause 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-1877995-1245187455.opb 0.00/0.00 c File size is 48923 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.007 s 0.00/0.00 c Var: 864 Constr: 1321 648/0/673 Lit: 5535 Watch. Lit: 3386 0.00/0.00 c Obj. Vars: 9 (1.04167 % of total variables) 0.00/0.01 c Pre-processing Time: 0.017 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 864 1321 5535 4 4761 7398 0 0 0.02 0.00/0.01 c Switching off lower bounding mode. 1090.84/1091.14 c 100 864 1421 12439 8 4940 8138 100 3448 0.03 1090.84/1091.14 c 251 864 1572 26552 16 5062 8952 251 4921 0.05 1090.84/1091.14 c 477 864 1798 45670 25 5520 9848 477 5482 0.09 1090.84/1091.14 c 816 864 2137 69426 32 6195 10833 816 5956 0.14 1090.84/1091.14 c 1324 864 2645 110698 41 7221 11917 1324 6018 0.22 1090.84/1091.14 c 2087 864 3408 172991 50 8745 13109 2087 5895 0.35 1090.84/1091.14 c 3233 864 4554 265587 58 11003 14420 3233 5148 0.63 1090.84/1091.14 c 4955 864 6276 399721 63 14465 15863 4955 3703 1.34 1090.84/1091.14 c 7539 864 8860 598995 67 19633 17450 7539 2857 2.64 1090.84/1091.14 c 11418 864 12739 896541 70 27395 19196 11418 2050 5.57 1090.84/1091.14 c 17241 864 18562 1360137 73 39101 21116 17241 2210 7.80 1090.84/1091.14 c 25978 864 16354 1207285 73 34587 23228 15033 1590 16.33 1090.84/1091.14 c 39088 864 16613 1365163 82 35107 25551 15292 1335 29.26 1090.84/1091.14 c 58758 864 21145 1536214 72 44089 28107 19824 1309 44.85 1090.84/1091.14 c 88268 864 15913 1244771 78 33683 30918 14592 1095 80.59 1090.84/1091.14 c 132539 864 19543 1497097 76 40879 34010 18222 1118 118.49 1090.84/1091.14 c 198950 864 17253 1173244 68 36323 37412 15932 813 244.46 1090.84/1091.14 c 298570 864 37386 3171964 84 76583 41154 36065 760 392.55 1090.84/1091.14 c 448006 864 35304 2966322 84 72523 45270 33983 718 623.35 1090.84/1091.14 c 672164 864 19730 1385007 70 41395 49798 18409 627 1070.84 1090.84/1091.14 o 5 1797.96/1798.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.43 c 699596 864 47163 3773037 79 96311 7416 45842 641 1090.88 1797.96/1798.43 c 699696 834 5130 328261 63 12241 8158 3809 640 1091.75 1797.96/1798.43 c 699948 834 5382 352964 65 12639 8974 4061 641 1091.79 1797.96/1798.43 c 700423 834 5857 389530 66 13602 9872 4536 641 1091.87 1797.96/1798.43 c 701236 834 6670 452867 67 15238 10860 5349 642 1092.04 1797.96/1798.43 c 702557 834 7991 563025 70 17902 11947 6670 643 1092.33 1797.96/1798.43 c 704638 834 10072 734984 72 22075 13142 8751 644 1092.94 1797.96/1798.43 c 707861 834 13295 1008464 75 28554 14457 11974 647 1093.74 1797.96/1798.43 c 712797 824 10190 718057 70 22415 15903 8869 650 1096.56 1797.96/1798.43 c 720303 824 9522 615169 64 21036 17494 8201 654 1100.30 1797.96/1798.43 c 731664 824 12015 808894 67 26003 19244 10694 660 1107.69 1797.96/1798.43 c 748809 824 19438 1319223 67 40863 21169 18117 663 1129.29 1797.96/1798.43 c 774629 824 12623 946153 74 27110 23286 11302 669 1156.76 1797.96/1798.43 c 813462 824 12531 827090 66 26921 25615 11210 673 1207.89 1797.96/1798.43 c 871814 798 24379 1978638 81 50607 28177 23058 682 1277.82 1797.96/1798.43 c 959447 797 24376 1950243 80 50659 30995 23055 691 1387.49 1797.96/1798.43 c 1090999 797 14140 1059882 74 30123 34095 12819 665 1639.31 1797.96/1798.43 c Resources Exceeded 1797.96/1798.43 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 x55 x56 -x57 x58 -x59 x60 -x61 x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 x75 -x76 -x77 -x78 -x79 x80 x81 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 x82 -x83 -x84 x85 x86 -x87 -x88 -x89 -x90 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 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 x91 -x92 x93 x94 x95 x96 x97 -x98 -x99 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 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 x100 -x101 x102 x103 x104 -x105 -x106 -x107 -x108 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 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 x109 x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 x172 -x173 x174 -x175 x176 -x177 -x178 -x179 -x180 x541 x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 1797.96/1798.43 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.43 c 37 1196852 13007 1249361 26549 2213026 25228 665 1798.00 1797.96/1798.43 c Objective: 5 1797.96/1798.43 s SATISFIABLE 1797.96/1798.43 c Total time: 1798 s
OK 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877995-1245187455/watcher-1877995-1245187455 -o /tmp/evaluation-result-1877995-1245187455/solver-1877995-1245187455 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877995-1245187455.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 1.00 3/67 10590 /proc/meminfo: memFree=1290592/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=10756 CPUtime=0 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 256 0 0 0 0 0 0 0 18 0 1 0 175234803 11014144 240 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 2689 240 175 640 0 2033 0 [startup+0.0462671 s] /proc/loadavg: 1.00 1.00 1.00 3/67 10590 /proc/meminfo: memFree=1290592/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=11240 CPUtime=0.04 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 423 0 0 0 4 0 0 0 18 0 1 0 175234803 11509760 395 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 2810 395 196 640 0 2166 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11240 [startup+0.101271 s] /proc/loadavg: 1.00 1.00 1.00 3/67 10590 /proc/meminfo: memFree=1290592/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=11612 CPUtime=0.09 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 527 0 0 0 9 0 0 0 18 0 1 0 175234803 11890688 499 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 2903 499 196 640 0 2259 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11612 [startup+0.301288 s] /proc/loadavg: 1.00 1.00 1.00 3/67 10590 /proc/meminfo: memFree=1290592/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=13108 CPUtime=0.29 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 882 0 0 0 29 0 0 0 19 0 1 0 175234803 13422592 854 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 3277 854 196 640 0 2633 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13108 [startup+0.701323 s] /proc/loadavg: 1.00 1.00 1.00 3/67 10590 /proc/meminfo: memFree=1290592/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=14848 CPUtime=0.69 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 1321 0 0 0 68 1 0 0 22 0 1 0 175234803 15204352 1293 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 3712 1293 196 640 0 3068 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14848 [startup+1.50139 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10591 /proc/meminfo: memFree=1285400/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=16964 CPUtime=1.49 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 1864 0 0 0 148 1 0 0 25 0 1 0 175234803 17371136 1836 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 4241 1836 196 640 0 3597 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16964 [startup+3.10154 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10591 /proc/meminfo: memFree=1282584/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=20416 CPUtime=3.09 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 2707 0 0 0 307 2 0 0 25 0 1 0 175234803 20905984 2679 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 5104 2679 196 640 0 4460 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20416 [startup+6.30183 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10591 /proc/meminfo: memFree=1277400/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=26088 CPUtime=6.29 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 4133 0 0 0 625 4 0 0 25 0 1 0 175234803 26714112 4105 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 6522 4105 196 640 0 5878 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26088 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10591 /proc/meminfo: memFree=1266328/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=34852 CPUtime=12.69 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 6334 0 0 0 1261 8 0 0 25 0 1 0 175234803 35688448 6306 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 8713 6306 196 640 0 8069 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34852 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10591 /proc/meminfo: memFree=1262360/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=38444 CPUtime=25.49 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 7228 0 0 0 2538 11 0 0 25 0 1 0 175234803 39366656 7200 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 9611 7200 196 640 0 8967 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 38444 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10591 /proc/meminfo: memFree=1258520/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=42220 CPUtime=51.08 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 8175 0 0 0 5091 17 0 0 25 0 1 0 175234803 43233280 8147 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 10555 8147 196 640 0 9911 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 42220 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10591 /proc/meminfo: memFree=1252120/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=48676 CPUtime=102.27 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 9794 0 0 0 10200 27 0 0 25 0 1 0 175234803 49844224 9766 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 12169 9766 196 640 0 11525 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 48676 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10591 /proc/meminfo: memFree=1251608/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=49092 CPUtime=162.25 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 9966 0 0 0 16190 35 0 0 25 0 1 0 175234803 50270208 9855 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 12273 9855 196 640 0 11629 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 49092 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10591 /proc/meminfo: memFree=1251608/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=49284 CPUtime=222.24 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 9998 0 0 0 22184 40 0 0 25 0 1 0 175234803 50466816 9887 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 12321 9887 196 640 0 11677 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 49284 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10591 /proc/meminfo: memFree=1245848/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=54720 CPUtime=282.22 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 11423 0 0 0 28173 49 0 0 25 0 1 0 175234803 56033280 11274 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 13680 11274 196 640 0 13036 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 54720 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10591 /proc/meminfo: memFree=1240536/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=60264 CPUtime=342.21 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 12781 0 0 0 34163 58 0 0 25 0 1 0 175234803 61710336 12632 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 15066 12632 196 640 0 14422 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 60264 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10591 /proc/meminfo: memFree=1237656/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=62920 CPUtime=402.2 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 13498 0 0 0 40154 66 0 0 25 0 1 0 175234803 64430080 13308 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 15730 13308 196 640 0 15086 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 62920 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10591 /proc/meminfo: memFree=1237912/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=62568 CPUtime=462.18 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 13536 0 0 0 46141 77 0 0 25 0 1 0 175234803 64069632 13240 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 15642 13240 196 640 0 14998 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 62568 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10591 /proc/meminfo: memFree=1238296/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=62328 CPUtime=522.17 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 13545 0 0 0 52135 82 0 0 25 0 1 0 175234803 63823872 13156 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 15582 13156 196 640 0 14938 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 62328 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 3/68 10591 /proc/meminfo: memFree=1237976/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=62828 CPUtime=582.16 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 13662 0 0 0 58127 89 0 0 25 0 1 0 175234803 64335872 13273 1992294400 134512640 137136520 4294956256 18446744073709551615 134544431 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 15707 13273 196 640 0 15063 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 62828 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10591 /proc/meminfo: memFree=1234200/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=66324 CPUtime=642.14 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 14623 0 0 0 64116 98 0 0 25 0 1 0 175234803 67915776 14166 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 16581 14166 196 640 0 15937 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 66324 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1224664/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=76076 CPUtime=1122.02 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 17074 0 0 0 112047 155 0 0 25 0 1 0 175234803 77901824 16586 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 19019 16586 197 640 0 18375 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 76076 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10593 /proc/meminfo: memFree=1225048/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=75400 CPUtime=1182 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 17074 0 0 0 118036 164 0 0 25 0 1 0 175234803 77209600 16449 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 18850 16449 197 640 0 18206 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 75400 [startup+1242.3 s] /proc/loadavg: 1.04 1.01 1.00 2/68 10593 /proc/meminfo: memFree=1225048/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=75400 CPUtime=1241.99 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 17074 0 0 0 124027 172 0 0 25 0 1 0 175234803 77209600 16449 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 18850 16449 197 640 0 18206 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 75400 [startup+1302.3 s] /proc/loadavg: 1.01 1.01 1.00 2/68 10593 /proc/meminfo: memFree=1225048/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=75400 CPUtime=1301.98 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 17074 0 0 0 130018 180 0 0 25 0 1 0 175234803 77209600 16449 1992294400 134512640 137136520 4294956256 18446744073709551615 134544179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 18850 16449 197 640 0 18206 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 75400 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10593 /proc/meminfo: memFree=1225048/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=75400 CPUtime=1361.97 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 17074 0 0 0 136008 189 0 0 25 0 1 0 175234803 77209600 16449 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 18850 16449 197 640 0 18206 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 75400 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10593 /proc/meminfo: memFree=1225048/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=75400 CPUtime=1421.96 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 17074 0 0 0 141999 197 0 0 25 0 1 0 175234803 77209600 16449 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 18850 16449 197 640 0 18206 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 75400 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10593 /proc/meminfo: memFree=1225048/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=75400 CPUtime=1481.93 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 17074 0 0 0 147990 203 0 0 25 0 1 0 175234803 77209600 16449 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 18850 16449 197 640 0 18206 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 75400 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10593 /proc/meminfo: memFree=1225048/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=75400 CPUtime=1541.92 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 17074 0 0 0 153982 210 0 0 25 0 1 0 175234803 77209600 16449 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 18850 16449 197 640 0 18206 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 75400 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10593 /proc/meminfo: memFree=1225048/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=75400 CPUtime=1601.91 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 17074 0 0 0 159977 214 0 0 25 0 1 0 175234803 77209600 16449 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 18850 16449 197 640 0 18206 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 75400 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10593 /proc/meminfo: memFree=1225048/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=75400 CPUtime=1661.9 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 17074 0 0 0 165969 221 0 0 25 0 1 0 175234803 77209600 16449 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 18850 16449 197 640 0 18206 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 75400 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10593 /proc/meminfo: memFree=1225048/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=75400 CPUtime=1721.87 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 17074 0 0 0 171959 228 0 0 25 0 1 0 175234803 77209600 16449 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 18850 16449 197 640 0 18206 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 75400 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10593 /proc/meminfo: memFree=1225048/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=75400 CPUtime=1781.86 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 17074 0 0 0 177951 235 0 0 25 0 1 0 175234803 77209600 16449 1992294400 134512640 137136520 4294956256 18446744073709551615 134598615 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 18850 16449 197 640 0 18206 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 75400 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10593 /proc/meminfo: memFree=1225048/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=75400 CPUtime=1791.46 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 17074 0 0 0 178909 237 0 0 25 0 1 0 175234803 77209600 16449 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 18850 16449 197 640 0 18206 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (KiB) 75400 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10593 /proc/meminfo: memFree=1225048/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=75400 CPUtime=1794.67 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 17074 0 0 0 179229 238 0 0 25 0 1 0 175234803 77209600 16449 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 18850 16449 197 640 0 18206 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (KiB) 75400 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10593 /proc/meminfo: memFree=1225048/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=75400 CPUtime=1796.26 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 17074 0 0 0 179388 238 0 0 25 0 1 0 175234803 77209600 16449 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 18850 16449 197 640 0 18206 0 Current children cumulated CPU time (s) 1796.26 Current children cumulated vsize (KiB) 75400 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10593 /proc/meminfo: memFree=1225048/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=75400 CPUtime=1797.06 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 17074 0 0 0 179468 238 0 0 25 0 1 0 175234803 77209600 16449 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 18850 16449 197 640 0 18206 0 Current children cumulated CPU time (s) 1797.06 Current children cumulated vsize (KiB) 75400 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10593 /proc/meminfo: memFree=1225048/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=75400 CPUtime=1797.46 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 17074 0 0 0 179508 238 0 0 25 0 1 0 175234803 77209600 16449 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 18850 16449 197 640 0 18206 0 Current children cumulated CPU time (s) 1797.46 Current children cumulated vsize (KiB) 75400 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10593 /proc/meminfo: memFree=1225048/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=75400 CPUtime=1797.86 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 17074 0 0 0 179548 238 0 0 25 0 1 0 175234803 77209600 16449 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 18850 16449 197 640 0 18206 0 Current children cumulated CPU time (s) 1797.86 Current children cumulated vsize (KiB) 75400 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/68 10593 /proc/meminfo: memFree=1225048/2055920 swapFree=4192956/4192956 [pid=10590] ppid=10588 vsize=75400 CPUtime=1797.96 /proc/10590/stat : 10590 (bsolo) R 10588 10590 9730 0 -1 4194304 17074 0 0 0 179558 238 0 0 25 0 1 0 175234803 77209600 16449 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10590/statm: 18850 16449 197 640 0 18206 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 75400 Child status: 0 Real time (s): 1798.44 CPU time (s): 1798.01 CPU user time (s): 1795.62 CPU system time (s): 2.39464 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (KiB): 76076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.62 system time used= 2.39464 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17076 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= 2969 runsolver used 1.53177 second user time and 5.01624 second system time The end
Begin job on node68 at 2009-06-16 23:24:15 IDJOB=1877995 IDBENCH=47975 IDSOLVER=700 FILE ID=node68/1877995-1245187455 PBS_JOBID= 9368272 Free space on /tmp= 66472 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=383-P1=149-P2=409-P3=307-P4=127-P5=191-P6=227-P7=281-P8=211-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877995-1245187455/watcher-1877995-1245187455 -o /tmp/evaluation-result-1877995-1245187455/solver-1877995-1245187455 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877995-1245187455.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d88cb7e119c66203d260e6c8e2ab364 RANDOM SEED=1370642055 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: 1291072 kB Buffers: 72952 kB Cached: 594808 kB SwapCached: 0 kB Active: 345944 kB Inactive: 338252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1291072 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 26496 kB Slab: 66248 kB Committed_AS: 86540 kB PageTables: 1568 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-1877995-1245187455.opb Free space on /tmp at the end= 66468 MiB End job on node68 at 2009-06-16 23:54:13