Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -37 | 1798.15 | 1798.84 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb |
MD5SUM | e1b2be59a127acc8d929395698929541 |
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 | 1794.83 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -45 |
Optimality of the best value was proved | NO |
Number of variables | 945 |
Total number of constraints | 58549 |
Number of constraints which are clauses | 58549 |
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: 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-1877009-1245166236.opb 0.00/0.00 c File size is 1400279 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.172 s 0.09/0.19 c Var: 945 Constr: 58549 58549/0/0 Lit: 117098 Watch. Lit: 117098 0.09/0.19 c Obj. Vars: 945 (100 % of total variables) 1.29/1.35 c Pre-processing Time: 1.356 s 1.29/1.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.36 c 0 945 58549 117098 2 117098 19516 0 0 1.36 1.29/1.36 c Switching off lower bounding mode. 1.29/1.36 o -33 1.29/1.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.37 c 0 945 58550 118043 2 117133 20516 1 0 1.37 1.29/1.37 o -34 1.69/1.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.72 c 3 945 58554 121713 2 117175 20516 5 2 1.38 1.69/1.72 c 104 945 58665 222350 3 117397 22568 116 69 1.50 1.69/1.72 o -35 364.05/364.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 364.05/364.24 c 267 945 58850 390043 6 117802 20516 301 155 1.72 364.05/364.24 c 367 945 58959 488699 8 118020 22568 410 198 1.85 364.05/364.24 c 618 945 59237 740312 12 118576 24825 688 280 2.21 364.05/364.24 c 1093 945 59763 1216606 20 119628 27308 1214 377 2.90 364.05/364.24 c 1906 945 60692 2056568 33 121486 30039 2143 441 4.32 364.05/364.24 c 3226 945 62196 3417833 54 124494 33043 3647 485 6.64 364.05/364.24 c 5307 945 64582 5576613 86 129266 36348 6033 479 11.07 364.05/364.24 c 8531 945 68182 8835914 129 136466 39983 9633 467 18.24 364.05/364.24 c 13468 945 73730 13858642 187 147562 43982 15181 395 34.09 364.05/364.24 c 20974 945 82210 21529859 261 164555 48381 23661 347 60.29 364.05/364.24 c 32335 945 94670 32817990 346 189475 53220 36121 285 113.18 364.05/364.24 c 49479 945 73216 13386677 182 146499 58543 14667 231 213.62 364.05/364.24 o -36 449.40/449.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 449.40/449.61 c 73482 945 101003 38497738 381 202294 20516 42454 201 364.11 449.40/449.61 c 73582 945 68922 9485872 137 137940 22568 10373 198 370.00 449.40/449.61 c 73833 945 69203 9739947 140 138502 24825 10654 199 370.58 449.40/449.61 c 74308 945 69738 10223977 146 139572 27308 11189 199 371.69 449.40/449.61 c 75121 945 70652 11050720 156 141400 30039 12103 201 373.53 449.40/449.61 c 76441 945 72134 12391054 171 144364 33043 13585 202 376.90 449.40/449.61 c 78522 945 74423 14461586 194 148942 36348 15874 205 382.52 449.40/449.61 c 81745 945 78069 17754916 227 156234 39983 19520 208 391.73 449.40/449.61 c 86681 945 83659 22807225 272 167414 43982 25110 209 414.33 449.40/449.61 c 94187 945 92337 30646936 331 184770 48381 33788 210 446.43 449.40/449.61 o -37 1797.91/1798.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.68 c 95248 945 93514 31711993 339 187161 20516 34965 211 449.42 1797.91/1798.68 c 95349 945 68923 9491150 137 137883 22568 10374 210 453.76 1797.91/1798.68 c 95600 945 69201 9742290 140 138439 24825 10652 210 454.23 1797.91/1798.68 c 96075 945 69742 10230662 146 139521 27308 11193 211 455.27 1797.91/1798.68 c 96888 945 70652 11052308 156 141341 30039 12103 211 457.11 1797.91/1798.68 c 98208 945 72140 12395530 171 144317 33043 13591 213 459.70 1797.91/1798.68 c 100289 945 74483 14510528 194 149003 36348 15934 215 465.14 1797.91/1798.68 c 103514 945 78136 17807581 227 156309 39983 19587 218 473.58 1797.91/1798.68 c 108450 945 83734 22861892 273 167505 43982 25185 219 493.03 1797.91/1798.68 c 115956 945 92402 30680118 332 184841 48381 33853 223 518.92 1797.91/1798.68 c 127317 945 105085 42131298 400 210241 53220 46536 222 573.40 1797.91/1798.68 c 144462 945 83578 22697402 271 167227 58543 25029 211 682.11 1797.91/1798.68 c 170283 945 113136 49364057 436 226343 64398 54587 207 818.78 1797.91/1798.68 c 209115 945 105150 42162102 400 210401 70838 46601 181 1154.29 1797.91/1798.68 c 267467 945 113263 49469427 436 226753 77922 54714 164 1621.03 1797.91/1798.68 c Resources Exceeded 1797.91/1798.68 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.91/1798.68 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.68 c 40 290146 24266 320948 73753 13844705 15204 161 1798.00 1797.91/1798.68 c Objective: -37 1797.91/1798.68 s SATISFIABLE 1797.91/1798.68 c Total time: 1798 s
OK -37
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877009-1245166236/watcher-1877009-1245166236 -o /tmp/evaluation-result-1877009-1245166236/solver-1877009-1245166236 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877009-1245166236.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.03 1.01 1.00 3/64 457 /proc/meminfo: memFree=1851616/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=12088 CPUtime=0 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 266 0 0 0 0 0 0 0 18 0 1 0 184224645 12378112 250 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 3022 250 176 640 0 2036 0 [startup+0.029665 s] /proc/loadavg: 1.03 1.01 1.00 3/64 457 /proc/meminfo: memFree=1851616/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=12912 CPUtime=0.02 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 515 0 0 0 2 0 0 0 18 0 1 0 184224645 13221888 499 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 3228 500 222 640 0 2242 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12912 [startup+0.101671 s] /proc/loadavg: 1.03 1.01 1.00 3/64 457 /proc/meminfo: memFree=1851616/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=15384 CPUtime=0.09 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 1259 0 0 0 9 0 0 0 18 0 1 0 184224645 15753216 1243 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 3846 1244 366 640 0 2860 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15384 [startup+0.301692 s] /proc/loadavg: 1.03 1.01 1.00 3/64 457 /proc/meminfo: memFree=1851616/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=21108 CPUtime=0.29 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 3208 0 0 0 28 1 0 0 19 0 1 0 184224645 21614592 2850 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 5277 2850 190 640 0 4633 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21108 [startup+0.701733 s] /proc/loadavg: 1.03 1.01 1.00 3/64 457 /proc/meminfo: memFree=1851616/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=21108 CPUtime=0.69 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 3208 0 0 0 66 3 0 0 23 0 1 0 184224645 21614592 2850 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 5277 2850 190 640 0 4633 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21108 [startup+1.50182 s] /proc/loadavg: 1.03 1.01 1.00 2/65 458 /proc/meminfo: memFree=1840984/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=20612 CPUtime=1.49 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 3953 0 0 0 143 6 0 0 25 0 1 0 184224645 21106688 2739 1992294400 134512640 137136520 4294956256 18446744073709551615 134616827 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 5153 2739 196 640 0 4509 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20612 [startup+3.10198 s] /proc/loadavg: 1.03 1.01 1.00 2/65 458 /proc/meminfo: memFree=1835544/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=35208 CPUtime=3.09 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 7613 0 0 0 301 8 0 0 25 0 1 0 184224645 36052992 6399 1992294400 134512640 137136520 4294956256 18446744073709551615 134617418 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 8835 6403 197 640 0 8191 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35208 [startup+6.30131 s] /proc/loadavg: 1.03 1.01 1.00 2/65 458 /proc/meminfo: memFree=1808728/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=59304 CPUtime=6.28 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 13637 0 0 0 618 10 0 0 25 0 1 0 184224645 60727296 12423 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 14826 12423 197 640 0 14182 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 59304 [startup+12.702 s] /proc/loadavg: 1.02 1.01 1.00 2/65 458 /proc/meminfo: memFree=1765656/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=100500 CPUtime=12.68 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 23932 0 0 0 1252 16 0 0 25 0 1 0 184224645 102912000 22718 1992294400 134512640 137136520 4294956256 18446744073709551615 136502019 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 25125 22718 197 640 0 24481 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 100500 [startup+25.5013 s] /proc/loadavg: 1.02 1.01 1.00 2/65 458 /proc/meminfo: memFree=1697304/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=165584 CPUtime=25.48 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 40195 0 0 0 2524 24 0 0 25 0 1 0 184224645 169558016 38981 1992294400 134512640 137136520 4294956256 18446744073709551615 134551270 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 41396 38981 197 640 0 40752 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 165584 [startup+51.1019 s] /proc/loadavg: 1.01 1.01 1.00 2/65 458 /proc/meminfo: memFree=1594072/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=269172 CPUtime=51.06 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 66087 0 0 0 5068 38 0 0 25 0 1 0 184224645 275632128 64873 1992294400 134512640 137136520 4294956256 18446744073709551615 134543983 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 67293 64873 197 640 0 66649 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 269172 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 458 /proc/meminfo: memFree=1448536/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=412948 CPUtime=102.25 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 102038 0 0 0 10164 61 0 0 25 0 1 0 184224645 422858752 100824 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 103237 100824 197 640 0 102593 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 412948 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 458 /proc/meminfo: memFree=1289560/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=572708 CPUtime=162.22 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 141972 0 0 0 16135 87 0 0 25 0 1 0 184224645 586452992 140758 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 143177 140758 197 640 0 142533 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 572708 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 458 /proc/meminfo: memFree=1212632/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=647824 CPUtime=222.2 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 160817 0 0 0 22121 99 0 0 25 0 1 0 184224645 663371776 159550 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 161956 159550 197 640 0 161312 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 647824 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 458 /proc/meminfo: memFree=1212696/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=647824 CPUtime=282.17 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 160817 0 0 0 28115 102 0 0 25 0 1 0 184224645 663371776 159550 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 161956 159550 197 640 0 161312 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 647824 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 458 /proc/meminfo: memFree=1212696/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=647824 CPUtime=342.16 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 160817 0 0 0 34111 105 0 0 25 0 1 0 184224645 663371776 159550 1992294400 134512640 137136520 4294956256 18446744073709551615 134616453 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 161956 159550 197 640 0 161312 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 647824 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 458 /proc/meminfo: memFree=1214552/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=645916 CPUtime=402.12 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 160817 0 0 0 40105 107 0 0 25 0 1 0 184224645 661417984 159078 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 161479 159078 197 640 0 160835 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 645916 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 458 /proc/meminfo: memFree=1214552/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=645916 CPUtime=462.1 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 160817 0 0 0 46099 111 0 0 25 0 1 0 184224645 661417984 159078 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 161479 159078 197 640 0 160835 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 645916 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 458 /proc/meminfo: memFree=1214488/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=645916 CPUtime=522.07 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 160817 0 0 0 52093 114 0 0 25 0 1 0 184224645 661417984 159078 1992294400 134512640 137136520 4294956256 18446744073709551615 134573386 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 161479 159078 197 640 0 160835 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 645916 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 458 /proc/meminfo: memFree=1214488/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=645916 CPUtime=582.05 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 160817 0 0 0 58088 117 0 0 25 0 1 0 184224645 661417984 159078 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 161479 159078 197 640 0 160835 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 645916 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 458 /proc/meminfo: memFree=1213976/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=646736 CPUtime=642.04 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 160990 0 0 0 64084 120 0 0 25 0 1 0 184224645 662257664 159251 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 161684 159251 197 640 0 161040 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 646736 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1084376/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=775592 CPUtime=1121.85 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 193295 0 0 0 112030 155 0 0 25 0 1 0 184224645 794206208 191492 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 193898 191492 197 640 0 193254 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 775592 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 458 /proc/meminfo: memFree=1084312/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=775592 CPUtime=1181.83 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 193295 0 0 0 118026 157 0 0 25 0 1 0 184224645 794206208 191492 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 193898 191492 197 640 0 193254 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 775592 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 458 /proc/meminfo: memFree=1077528/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=783500 CPUtime=1241.8 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 195251 0 0 0 124019 161 0 0 25 0 1 0 184224645 802304000 193448 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 195875 193448 197 640 0 195231 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 783500 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 460 /proc/meminfo: memFree=1009176/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=850472 CPUtime=1301.79 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 212077 0 0 0 130008 171 0 0 25 0 1 0 184224645 870883328 210203 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 212618 210203 197 640 0 211974 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 850472 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 460 /proc/meminfo: memFree=1009112/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=850472 CPUtime=1361.77 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 212077 0 0 0 136002 175 0 0 25 0 1 0 184224645 870883328 210203 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 212618 210203 197 640 0 211974 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 850472 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 460 /proc/meminfo: memFree=1009176/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=850472 CPUtime=1421.75 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 212077 0 0 0 141997 178 0 0 25 0 1 0 184224645 870883328 210203 1992294400 134512640 137136520 4294956256 18446744073709551615 134544098 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 212618 210203 197 640 0 211974 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 850472 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 460 /proc/meminfo: memFree=1009176/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=850472 CPUtime=1481.72 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 212077 0 0 0 147992 180 0 0 25 0 1 0 184224645 870883328 210203 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 212618 210203 197 640 0 211974 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 850472 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 460 /proc/meminfo: memFree=1009176/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=850472 CPUtime=1541.7 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 212077 0 0 0 153988 182 0 0 25 0 1 0 184224645 870883328 210203 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 212618 210203 197 640 0 211974 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 850472 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 460 /proc/meminfo: memFree=1009176/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=850472 CPUtime=1601.68 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 212077 0 0 0 159984 184 0 0 25 0 1 0 184224645 870883328 210203 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/457/statm: 212618 210203 197 640 0 211974 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 850472 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 460 /proc/meminfo: memFree=1009112/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=850472 CPUtime=1661.65 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 212077 0 0 0 165978 187 0 0 25 0 1 0 184224645 870883328 210203 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 212618 210203 197 640 0 211974 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 850472 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 460 /proc/meminfo: memFree=996056/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=864764 CPUtime=1721.63 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 215660 0 0 0 171972 191 0 0 25 0 1 0 184224645 885518336 213786 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 216191 213786 197 640 0 215547 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 864764 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 460 /proc/meminfo: memFree=927704/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=931596 CPUtime=1781.62 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 232422 0 0 0 177962 200 0 0 25 0 1 0 184224645 953954304 230471 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 232899 230471 197 640 0 232255 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 931596 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 460 /proc/meminfo: memFree=927704/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=931596 CPUtime=1791.22 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 232422 0 0 0 178922 200 0 0 25 0 1 0 184224645 953954304 230471 1992294400 134512640 137136520 4294956256 18446744073709551615 134606742 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 232899 230471 197 640 0 232255 0 Current children cumulated CPU time (s) 1791.22 Current children cumulated vsize (KiB) 931596 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 460 /proc/meminfo: memFree=927704/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=931596 CPUtime=1794.41 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 232422 0 0 0 179241 200 0 0 25 0 1 0 184224645 953954304 230471 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 232899 230471 197 640 0 232255 0 Current children cumulated CPU time (s) 1794.41 Current children cumulated vsize (KiB) 931596 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 460 /proc/meminfo: memFree=927704/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=931596 CPUtime=1796.01 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 232422 0 0 0 179401 200 0 0 25 0 1 0 184224645 953954304 230471 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 232899 230471 197 640 0 232255 0 Current children cumulated CPU time (s) 1796.01 Current children cumulated vsize (KiB) 931596 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 460 /proc/meminfo: memFree=927704/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=931596 CPUtime=1796.81 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 232422 0 0 0 179481 200 0 0 25 0 1 0 184224645 953954304 230471 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 232899 230471 197 640 0 232255 0 Current children cumulated CPU time (s) 1796.81 Current children cumulated vsize (KiB) 931596 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 460 /proc/meminfo: memFree=927704/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=931596 CPUtime=1797.61 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194304 232422 0 0 0 179561 200 0 0 25 0 1 0 184224645 953954304 230471 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/457/statm: 232899 230471 197 640 0 232255 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (KiB) 931596 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 460 /proc/meminfo: memFree=927704/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=0 CPUtime=1798.01 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194308 232424 0 0 0 179599 202 0 0 17 0 1 0 184224645 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/457/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.01 Current children cumulated vsize (KiB) 0 [startup+1798.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 460 /proc/meminfo: memFree=927704/2055920 swapFree=4191896/4192956 [pid=457] ppid=455 vsize=0 CPUtime=1798.11 /proc/457/stat : 457 (bsolo) R 455 457 32666 0 -1 4194308 232424 0 0 0 179599 212 0 0 17 0 1 0 184224645 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/457/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.11 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.84 CPU time (s): 1798.15 CPU user time (s): 1795.99 CPU system time (s): 2.15567 CPU usage (%): 99.9619 Max. virtual memory (cumulated for all children) (KiB): 931904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.99 system time used= 2.15567 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 232424 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= 7133 runsolver used 1.9777 second user time and 4.5693 second system time The end
Begin job on node2 at 2009-06-16 17:30:36 IDJOB=1877009 IDBENCH=2253 IDSOLVER=699 FILE ID=node2/1877009-1245166236 PBS_JOBID= 9363836 Free space on /tmp= 66448 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877009-1245166236/watcher-1877009-1245166236 -o /tmp/evaluation-result-1877009-1245166236/solver-1877009-1245166236 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877009-1245166236.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e1b2be59a127acc8d929395698929541 RANDOM SEED=1771666639 node2.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.214 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.214 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: 1852096 kB Buffers: 38140 kB Cached: 94472 kB SwapCached: 260 kB Active: 47056 kB Inactive: 98792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1852096 kB SwapTotal: 4192956 kB SwapFree: 4191896 kB Dirty: 5312 kB Writeback: 0 kB Mapped: 21784 kB Slab: 43896 kB Committed_AS: 154704 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877009-1245166236.opb Free space on /tmp at the end= 66444 MiB End job on node2 at 2009-06-16 18:00:35