Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | -36 | 1798.16 | 1798.89 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb |
MD5SUM | dadfd792215a2bce735ffb7b3e25dcc5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -38 |
Best CPU time to get the best result obtained on this benchmark | 1795 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
Optimality of the best value was proved | NO |
Number of variables | 945 |
Total number of constraints | 58579 |
Number of constraints which are clauses | 58579 |
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 | 945 |
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 | 945 |
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 | 945 |
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: 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-1878609-1245166445.opb 0.00/0.00 c File size is 1399605 bytes. 0.09/0.17 c Highest Coefficient sum: 945 0.09/0.17 c Parsing was ok!! 0.09/0.17 c Total parsing time: 0.173 s 0.09/0.19 c Var: 945 Constr: 58579 58579/0/0 Lit: 117158 Watch. Lit: 117158 0.09/0.19 c Obj. Vars: 945 (100 % of total variables) 1.29/1.39 c Pre-processing Time: 1.395 s 1.39/1.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.40 c 0 945 58579 117158 2 117158 19526 0 0 1.40 1.39/1.40 c Switching off lower bounding mode. 1.39/1.40 o -33 1.59/1.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.63 c 0 945 58580 118103 2 117193 20526 1 0 1.41 1.59/1.63 c 101 945 58681 209849 3 117395 22579 102 68 1.46 1.59/1.63 c 352 945 58932 437902 7 117897 24837 353 216 1.63 1.59/1.63 o -34 6.59/6.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.59/6.60 c 354 945 58935 440666 7 117937 20526 356 216 1.63 6.59/6.60 c 455 945 59036 532302 9 118139 22579 457 268 1.70 6.59/6.60 c 705 945 59286 759120 12 118639 24837 707 381 1.85 6.59/6.60 c 1180 945 59761 1189652 19 119589 27321 1182 536 2.20 6.59/6.60 c 1994 945 60575 1927613 31 121217 30054 1996 690 2.89 6.59/6.60 c 3314 945 61895 3124865 50 123857 33060 3316 830 3.99 6.59/6.60 o -35 16.79/16.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.79/16.84 c 5116 945 63698 4760412 74 127498 20526 5119 774 6.61 16.79/16.84 c 5216 945 63798 4851018 76 127698 22579 5219 779 6.69 16.79/16.84 c 5466 945 64048 5077527 79 128198 24837 5469 792 6.90 16.79/16.84 c 5941 945 64523 5508104 85 129148 27321 5944 813 7.30 16.79/16.84 c 6755 945 65337 6245908 95 130776 30054 6758 819 8.24 16.79/16.84 c 8076 945 66658 7442200 111 133418 33060 8079 825 9.78 16.79/16.84 c 10159 945 68741 9329549 135 137584 36367 10162 831 12.21 16.79/16.84 c 13383 945 71965 12251002 170 144032 40004 13386 798 16.75 16.79/16.84 o -36 1797.97/1798.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.72 c 13430 945 72013 12294557 170 144164 20526 13434 797 16.84 1797.97/1798.72 c 13530 945 72113 12385042 171 144364 22579 13534 789 17.14 1797.97/1798.72 c 13780 945 72363 12611308 174 144864 24837 13784 793 17.38 1797.97/1798.72 c 14255 945 72838 13041379 179 145814 27321 14259 790 18.04 1797.97/1798.72 c 15068 945 73651 13777163 187 147440 30054 15072 775 19.44 1797.97/1798.72 c 16388 945 74971 14971020 199 150080 33060 16392 770 21.26 1797.97/1798.72 c 18470 945 77053 16856157 218 154244 36367 18474 732 25.23 1797.97/1798.72 c 21693 945 80276 19771257 246 160690 40004 21697 732 29.63 1797.97/1798.72 c 26629 945 85212 24236899 284 170562 44005 26633 679 39.17 1797.97/1798.72 c 34135 945 92718 31026632 334 185574 48406 34139 650 52.47 1797.97/1798.72 c 45497 945 104080 41304207 396 208298 53247 45501 552 82.29 1797.97/1798.72 c 62642 945 78703 18328463 232 157442 58572 20124 408 153.28 1797.97/1798.72 c 88462 945 104523 41675652 398 209082 64430 45944 358 246.94 1797.97/1798.72 c 127294 945 89875 28440319 316 179786 70874 31296 283 448.59 1797.97/1798.72 c 185648 945 88362 27058783 306 176760 77962 29783 214 865.89 1797.97/1798.72 c 273280 945 109311 46030950 421 218658 85759 50732 200 1362.45 1797.97/1798.72 c Resources Exceeded 1797.97/1798.72 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -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.97/1798.72 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.72 c 33 344283 28521 380529 105818 42854864 47239 191 1798.00 1797.97/1798.72 c Objective: -36 1797.97/1798.72 s SATISFIABLE 1797.97/1798.72 c Total time: 1798 s
OK -36
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878609-1245166445/watcher-1878609-1245166445 -o /tmp/evaluation-result-1878609-1245166445/solver-1878609-1245166445 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878609-1245166445.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/64 4918 /proc/meminfo: memFree=1912880/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=12084 CPUtime=0 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 184245408 12374016 249 1992294400 134512640 137136520 4294956256 18446744073709551615 134517643 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 3021 249 176 640 0 2035 0 [startup+0.088653 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4918 /proc/meminfo: memFree=1912880/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=14836 CPUtime=0.08 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 1122 0 0 0 8 0 0 0 18 0 1 0 184245408 15192064 1106 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 3709 1106 339 640 0 2723 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14836 [startup+0.101653 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4918 /proc/meminfo: memFree=1912880/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=15384 CPUtime=0.09 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 1257 0 0 0 9 0 0 0 18 0 1 0 184245408 15753216 1241 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 3846 1241 365 640 0 2860 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15384 [startup+0.301672 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4918 /proc/meminfo: memFree=1912880/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=21108 CPUtime=0.29 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 3208 0 0 0 28 1 0 0 19 0 1 0 184245408 21614592 2850 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 5277 2850 190 640 0 4633 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21108 [startup+0.701707 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4918 /proc/meminfo: memFree=1912880/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=21108 CPUtime=0.7 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 3208 0 0 0 67 3 0 0 23 0 1 0 184245408 21614592 2850 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 5277 2850 190 640 0 4633 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 21108 [startup+1.50178 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4919 /proc/meminfo: memFree=1901992/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=21148 CPUtime=1.49 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 4077 0 0 0 144 5 0 0 25 0 1 0 184245408 21655552 2862 1992294400 134512640 137136520 4294956256 18446744073709551615 136500556 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 5287 2862 196 640 0 4643 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21148 [startup+3.10193 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4919 /proc/meminfo: memFree=1891560/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=46000 CPUtime=3.09 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 10308 0 0 0 302 7 0 0 25 0 1 0 184245408 47104000 9093 1992294400 134512640 137136520 4294956256 18446744073709551615 136295683 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 11500 9093 196 640 0 10856 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 46000 [startup+6.30123 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4919 /proc/meminfo: memFree=1850664/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=77300 CPUtime=6.29 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 18123 0 0 0 617 12 0 0 25 0 1 0 184245408 79155200 16908 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 19325 16908 196 640 0 18681 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 77300 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4919 /proc/meminfo: memFree=1786984/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=143720 CPUtime=12.69 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 34727 0 0 0 1250 19 0 0 25 0 1 0 184245408 147169280 33512 1992294400 134512640 137136520 4294956256 18446744073709551615 134600751 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 35930 33512 196 640 0 35286 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 143720 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4919 /proc/meminfo: memFree=1689256/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=236488 CPUtime=25.48 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 57913 0 0 0 2517 31 0 0 25 0 1 0 184245408 242163712 56698 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 59122 56698 196 640 0 58478 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 236488 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4919 /proc/meminfo: memFree=1515240/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=409688 CPUtime=51.06 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 101228 0 0 0 5053 53 0 0 25 0 1 0 184245408 419520512 100013 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 102422 100013 196 640 0 101778 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 409688 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4919 /proc/meminfo: memFree=1292328/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=629728 CPUtime=102.24 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 156237 0 0 0 10140 84 0 0 25 0 1 0 184245408 644841472 155022 1992294400 134512640 137136520 4294956256 18446744073709551615 134542190 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 157432 155022 196 640 0 156788 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 629728 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4919 /proc/meminfo: memFree=1273512/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=648056 CPUtime=162.23 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 160875 0 0 0 16133 90 0 0 25 0 1 0 184245408 663609344 159607 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 162014 159607 196 640 0 161370 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 648056 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4919 /proc/meminfo: memFree=1273512/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=648056 CPUtime=222.2 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 160875 0 0 0 22126 94 0 0 25 0 1 0 184245408 663609344 159607 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 162014 159607 196 640 0 161370 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 648056 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4919 /proc/meminfo: memFree=1235176/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=688756 CPUtime=282.18 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 171022 0 0 0 28113 105 0 0 25 0 1 0 184245408 705286144 169754 1992294400 134512640 137136520 4294956256 18446744073709551615 134600324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 172189 169754 196 640 0 171545 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 688756 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4919 /proc/meminfo: memFree=1143912/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=777420 CPUtime=342.16 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 193261 0 0 0 34095 121 0 0 25 0 1 0 184245408 796078080 191929 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 194355 191929 196 640 0 193711 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 777420 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4919 /proc/meminfo: memFree=1143848/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=777420 CPUtime=402.13 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 193261 0 0 0 40090 123 0 0 25 0 1 0 184245408 796078080 191929 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 194355 191929 196 640 0 193711 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 777420 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4919 /proc/meminfo: memFree=1143848/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=777420 CPUtime=462.11 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 193261 0 0 0 46085 126 0 0 25 0 1 0 184245408 796078080 191929 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 194355 191929 196 640 0 193711 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 777420 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4919 /proc/meminfo: memFree=1143784/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=777420 CPUtime=522.08 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 193261 0 0 0 52079 129 0 0 25 0 1 0 184245408 796078080 191929 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 194355 191929 196 640 0 193711 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 777420 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4919 /proc/meminfo: memFree=1143784/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=777420 CPUtime=582.07 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 193261 0 0 0 58075 132 0 0 25 0 1 0 184245408 796078080 191929 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 194355 191929 196 640 0 193711 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 777420 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4919 /proc/meminfo: memFree=1143784/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=777420 CPUtime=642.04 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 193261 0 0 0 64071 133 0 0 25 0 1 0 184245408 796078080 191929 1992294400 134512640 137136520 4294956256 18446744073709551615 134571834 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 194355 191929 196 640 0 193711 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 777420 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=986152/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=934572 CPUtime=1121.86 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 232704 0 0 0 112013 173 0 0 25 0 1 0 184245408 957001728 231223 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 233643 231223 196 640 0 232999 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 934572 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4921 /proc/meminfo: memFree=986088/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=934572 CPUtime=1181.83 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 232704 0 0 0 118009 174 0 0 25 0 1 0 184245408 957001728 231223 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 233643 231223 196 640 0 232999 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 934572 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4921 /proc/meminfo: memFree=985960/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=934572 CPUtime=1241.81 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 232704 0 0 0 124004 177 0 0 25 0 1 0 184245408 957001728 231223 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 233643 231223 196 640 0 232999 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 934572 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4921 /proc/meminfo: memFree=985896/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=934572 CPUtime=1301.78 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 232704 0 0 0 129998 180 0 0 25 0 1 0 184245408 957001728 231223 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 233643 231223 196 640 0 232999 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 934572 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4921 /proc/meminfo: memFree=985896/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=934572 CPUtime=1361.74 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 232704 0 0 0 135991 183 0 0 25 0 1 0 184245408 957001728 231223 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 233643 231223 196 640 0 232999 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 934572 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4921 /proc/meminfo: memFree=985896/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=934572 CPUtime=1421.73 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 232704 0 0 0 141984 189 0 0 25 0 1 0 184245408 957001728 231223 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 233643 231223 196 640 0 232999 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 934572 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4921 /proc/meminfo: memFree=985896/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=934572 CPUtime=1481.69 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 232704 0 0 0 147977 192 0 0 25 0 1 0 184245408 957001728 231223 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 233643 231223 196 640 0 232999 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 934572 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4921 /proc/meminfo: memFree=912872/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=1007948 CPUtime=1541.68 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 251039 0 0 0 153964 204 0 0 25 0 1 0 184245408 1032138752 249558 1992294400 134512640 137136520 4294956256 18446744073709551615 134543918 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 251987 249558 196 640 0 251343 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 1007948 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4921 /proc/meminfo: memFree=895208/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=1025016 CPUtime=1601.64 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 255411 0 0 0 159956 208 0 0 25 0 1 0 184245408 1049616384 253845 1992294400 134512640 137136520 4294956256 18446744073709551615 134600249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 256254 253845 196 640 0 255610 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 1025016 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4927 /proc/meminfo: memFree=895072/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=1025016 CPUtime=1661.63 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 255411 0 0 0 165951 212 0 0 25 0 1 0 184245408 1049616384 253845 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 256254 253845 196 640 0 255610 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 1025016 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4927 /proc/meminfo: memFree=895072/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=1025016 CPUtime=1721.6 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 255411 0 0 0 171946 214 0 0 25 0 1 0 184245408 1049616384 253845 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 256254 253845 196 640 0 255610 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 1025016 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4927 /proc/meminfo: memFree=895072/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=1025016 CPUtime=1781.58 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 255411 0 0 0 177943 215 0 0 25 0 1 0 184245408 1049616384 253845 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 256254 253845 196 640 0 255610 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 1025016 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 4927 /proc/meminfo: memFree=895072/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=1025016 CPUtime=1791.18 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 255411 0 0 0 178903 215 0 0 25 0 1 0 184245408 1049616384 253845 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 256254 253845 196 640 0 255610 0 Current children cumulated CPU time (s) 1791.18 Current children cumulated vsize (KiB) 1025016 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4927 /proc/meminfo: memFree=895072/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=1025016 CPUtime=1794.37 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 255411 0 0 0 179222 215 0 0 25 0 1 0 184245408 1049616384 253845 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 256254 253845 196 640 0 255610 0 Current children cumulated CPU time (s) 1794.37 Current children cumulated vsize (KiB) 1025016 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4927 /proc/meminfo: memFree=895072/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=1025016 CPUtime=1795.97 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 255411 0 0 0 179382 215 0 0 25 0 1 0 184245408 1049616384 253845 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 256254 253845 196 640 0 255610 0 Current children cumulated CPU time (s) 1795.97 Current children cumulated vsize (KiB) 1025016 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4927 /proc/meminfo: memFree=895072/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=1025016 CPUtime=1796.77 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 255411 0 0 0 179462 215 0 0 25 0 1 0 184245408 1049616384 253845 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 256254 253845 196 640 0 255610 0 Current children cumulated CPU time (s) 1796.77 Current children cumulated vsize (KiB) 1025016 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4927 /proc/meminfo: memFree=895072/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=1025016 CPUtime=1797.57 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 255411 0 0 0 179542 215 0 0 25 0 1 0 184245408 1049616384 253845 1992294400 134512640 137136520 4294956256 18446744073709551615 136500542 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 256254 253845 196 640 0 255610 0 Current children cumulated CPU time (s) 1797.57 Current children cumulated vsize (KiB) 1025016 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4927 /proc/meminfo: memFree=895072/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=1025016 CPUtime=1797.97 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194304 255411 0 0 0 179582 215 0 0 25 0 1 0 184245408 1049616384 253845 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4918/statm: 256254 253845 196 640 0 255610 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 1025016 [startup+1798.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4927 /proc/meminfo: memFree=895072/2055920 swapFree=4191900/4192956 [pid=4918] ppid=4916 vsize=0 CPUtime=1798.07 /proc/4918/stat : 4918 (bsolo) R 4916 4918 4686 0 -1 4194308 255413 0 0 0 179584 223 0 0 17 0 1 0 184245408 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4918/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.07 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.89 CPU time (s): 1798.16 CPU user time (s): 1795.85 CPU system time (s): 2.31665 CPU usage (%): 99.9599 Max. virtual memory (cumulated for all children) (KiB): 1025016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.85 system time used= 2.31665 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 255413 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= 7065 runsolver used 1.41978 second user time and 5.12822 second system time The end
Begin job on node14 at 2009-06-16 17:34:05 IDJOB=1878609 IDBENCH=2254 IDSOLVER=700 FILE ID=node14/1878609-1245166445 PBS_JOBID= 9363846 Free space on /tmp= 66372 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878609-1245166445/watcher-1878609-1245166445 -o /tmp/evaluation-result-1878609-1245166445/solver-1878609-1245166445 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878609-1245166445.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dadfd792215a2bce735ffb7b3e25dcc5 RANDOM SEED=1060320476 node14.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.234 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.234 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: 1913360 kB Buffers: 29212 kB Cached: 58392 kB SwapCached: 388 kB Active: 47688 kB Inactive: 53356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1913360 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 5312 kB Writeback: 0 kB Mapped: 21800 kB Slab: 27428 kB Committed_AS: 177348 kB PageTables: 1452 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-1878609-1245166445.opb Free space on /tmp at the end= 66368 MiB End job on node14 at 2009-06-16 18:04:04