Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-rnp 0.8.0 | SAT (TO) | -44 | 1800.59 | 1801.16 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb |
MD5SUM | 05ceccb8ea9c274c844c39df1472d3cc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -44 |
Best CPU time to get the best result obtained on this benchmark | 1800.45 |
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 | 59186 |
Number of constraints which are clauses | 59186 |
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 c 0.00 c wildcat-rnp (VERSION 0.8.0-lite-rnp-devel) 0.00 c Developed by L. Liuand M. Truszczynski 0.00 c Last built on Tue 23 May 2006 09:33:09 PM EDT 0.00 c 0.00 c ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node56/32276-1149296183/instance-32276-1149296183.opb 91001343 0.00 c =================================== BEGIN =================================== 0.00 c 0.00 c Random Number Seed: 91001343 0.00 c Noise: 0.7 (70 : 100) 0.12 c Starting searching: 0.12 c Phase 1 ... 0.16 c trying 0: vc 0.16 o -10 282.06 c trying -323: xxxxxxxxxxc 282.06 c Phase 2 ... 282.10 c trying -11: vc 282.10 o -11 282.14 c trying -12: vc 282.14 o -12 282.18 c trying -13: vc 282.18 o -14 282.22 c trying -15: vc 282.22 o -15 282.26 c trying -16: vc 282.26 o -16 282.30 c trying -17: vc 282.30 o -17 282.34 c trying -18: vc 282.34 o -18 282.38 c trying -19: vc 282.38 o -19 282.42 c trying -20: vc 282.42 o -20 282.46 c trying -21: vc 282.46 o -21 282.50 c trying -22: vc 282.50 o -22 282.54 c trying -23: vc 282.54 o -23 282.58 c trying -24: vc 282.58 o -24 282.62 c trying -25: vc 282.62 o -25 282.67 c trying -26: vc 282.67 o -26 282.72 c trying -27: vc 282.72 o -27 282.76 c trying -28: vc 282.76 o -28 282.81 c trying -29: vc 282.81 o -29 282.87 c trying -30: vc 282.87 o -30 282.92 c trying -31: vc 282.92 o -31 282.98 c trying -32: vc 282.98 o -32 283.04 c trying -33: vc 283.04 o -33 283.09 c trying -34: vc 283.09 o -34 283.15 c trying -35: vc 283.15 o -35 283.24 c trying -36: vc 283.24 o -36 283.34 c trying -37: vc 283.34 o -37 283.41 c trying -38: vc 283.41 o -38 283.53 c trying -39: vc 283.53 o -39 283.65 c trying -40: vc 283.65 o -40 283.97 c trying -41: vc 283.97 o -41 284.48 c trying -42: vc 284.48 o -42 298.63 c trying -43: vc 298.63 o -43 1151.84 c trying -44: xxxxxxvc 1151.84 o -44 1801.15 c trying -45: xxxxxc 1801.15 c Phase 3 ... 1801.15 c trying -45 again: c 1801.15 s SATISFIABLE 1801.15 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 1801.15 v -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 1801.15 v -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 1801.15 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1801.15 v x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1801.15 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1801.15 v -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1801.15 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 1801.15 v -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1801.15 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1801.15 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1801.15 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1801.15 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 1801.15 v -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1801.15 v -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1801.15 v -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1801.15 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 1801.15 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 1801.15 v -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1801.15 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1801.15 v -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1801.15 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1801.15 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 1801.15 v -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1801.15 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1801.15 v -x546 -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1801.15 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1801.15 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1801.15 v x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 1801.15 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 1801.15 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 1801.15 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 1801.15 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1801.15 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1801.15 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1801.15 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1801.15 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1801.15 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 1801.15 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1801.15 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1801.15 v x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1801.15 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1801.15 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 1801.15 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1801.15 v -x945 1801.15 c Total Number of Positive Atoms : 44 1801.15 c 1801.15 c During searching: 1151.72 seconds elapsed. 1801.15 c CPU time spent: 1151.49 seconds. 1801.15 c 1801.15 c =================================== END ===================================== 1801.15 c
OK -44
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node56/watcher-32276-1149296183 -o ROOT/results/node56/solver-32276-1149296183 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node56/32276-1149296183/instance-32276-1149296183.opb 91001343 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 1/64 18005 /proc/meminfo: memFree=1671040/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=6232 CPUtime=0 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 153 0 0 0 0 0 0 0 18 0 1 0 195285906 6381568 137 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135002082 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 1558 137 105 226 0 1329 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.95 0.90 2/64 18005 /proc/meminfo: memFree=1658632/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=9.99 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 998 1 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 18212 [startup+20.0083 s] /proc/loadavg: 0.94 0.96 0.91 2/64 18005 /proc/meminfo: memFree=1658696/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=19.99 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 1998 1 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 18212 [startup+30.0143 s] /proc/loadavg: 0.95 0.96 0.91 2/64 18005 /proc/meminfo: memFree=1658760/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=29.99 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 2998 1 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877480 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 18212 [startup+40.0203 s] /proc/loadavg: 0.95 0.96 0.91 2/64 18005 /proc/meminfo: memFree=1658760/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=40 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 3999 1 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 18212 [startup+50.0262 s] /proc/loadavg: 0.96 0.96 0.91 2/64 18005 /proc/meminfo: memFree=1658824/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=50 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 4999 1 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134611430 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 18212 [startup+60.0322 s] /proc/loadavg: 0.97 0.96 0.91 2/64 18005 /proc/meminfo: memFree=1658824/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=60 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 5999 1 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 18212 [startup+70.0382 s] /proc/loadavg: 0.97 0.96 0.91 2/64 18005 /proc/meminfo: memFree=1658824/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=70 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 6999 1 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605286 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 18212 [startup+80.0442 s] /proc/loadavg: 0.98 0.96 0.91 2/64 18005 /proc/meminfo: memFree=1658888/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=80.01 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 8000 1 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 18212 [startup+90.0502 s] /proc/loadavg: 0.98 0.96 0.91 2/64 18005 /proc/meminfo: memFree=1658888/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=90.01 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 9000 1 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 18212 [startup+100.056 s] /proc/loadavg: 0.98 0.96 0.91 2/64 18005 /proc/meminfo: memFree=1658888/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=100.01 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 10000 1 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 18212 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.91 2/64 18005 /proc/meminfo: memFree=1658888/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=110.02 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 11001 1 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607258 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 18212 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18005 /proc/meminfo: memFree=1658888/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=120.02 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 12001 1 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 18212 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18005 /proc/meminfo: memFree=1658888/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=130.03 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 13002 1 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607626 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 18212 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18005 /proc/meminfo: memFree=1658888/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=140.03 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 14002 1 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877474 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 18212 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18005 /proc/meminfo: memFree=1658824/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=150.03 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 15002 1 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134868502 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 18212 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18005 /proc/meminfo: memFree=1658824/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=160.03 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 16002 1 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134611553 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 18212 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18005 /proc/meminfo: memFree=1658824/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=170.04 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 17003 1 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 18212 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18005 /proc/meminfo: memFree=1658824/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=180.04 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 18003 1 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 18212 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18005 /proc/meminfo: memFree=1658824/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=190.04 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 19003 1 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 18212 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18005 /proc/meminfo: memFree=1658824/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=200.05 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 20004 1 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 18212 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18005 /proc/meminfo: memFree=1658824/2055920 swapFree=4181332/4192956 ################ # More data... # ################ [pid=18005] ppid=18003 vsize=18212 CPUtime=1781.48 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 178145 3 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (Kb) 18212 [startup+1783.06 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18200 /proc/meminfo: memFree=1658504/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=1782.49 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 178246 3 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605237 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (Kb) 18212 [startup+1784.06 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18200 /proc/meminfo: memFree=1658504/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=1783.49 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 178346 3 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601401 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 1783.49 Current children cumulated vsize (Kb) 18212 [startup+1785.07 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18200 /proc/meminfo: memFree=1658504/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=1784.49 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 178446 3 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134597110 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 1784.49 Current children cumulated vsize (Kb) 18212 [startup+1786.07 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18200 /proc/meminfo: memFree=1658504/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=1785.5 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 178547 3 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134603863 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 1785.5 Current children cumulated vsize (Kb) 18212 [startup+1787.08 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18200 /proc/meminfo: memFree=1658504/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=1786.5 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 178647 3 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598616 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 1786.5 Current children cumulated vsize (Kb) 18212 [startup+1788.08 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18200 /proc/meminfo: memFree=1658504/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=1787.51 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 178748 3 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 1787.51 Current children cumulated vsize (Kb) 18212 [startup+1789.09 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18200 /proc/meminfo: memFree=1658504/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=1788.51 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 178848 3 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566821 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 1788.51 Current children cumulated vsize (Kb) 18212 [startup+1790.09 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18200 /proc/meminfo: memFree=1658504/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=1789.52 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 178949 3 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601506 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 1789.52 Current children cumulated vsize (Kb) 18212 [startup+1791.1 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18200 /proc/meminfo: memFree=1658504/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=1790.52 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 179049 3 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 1790.52 Current children cumulated vsize (Kb) 18212 [startup+1792.1 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18200 /proc/meminfo: memFree=1658504/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=1791.53 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 179150 3 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134551216 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (Kb) 18212 [startup+1793.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18200 /proc/meminfo: memFree=1658504/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=1792.53 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 179250 3 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 1792.53 Current children cumulated vsize (Kb) 18212 [startup+1794.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18200 /proc/meminfo: memFree=1658504/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=1793.54 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 179351 3 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601257 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 1793.54 Current children cumulated vsize (Kb) 18212 [startup+1795.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18200 /proc/meminfo: memFree=1658504/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=1794.54 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 179451 3 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (Kb) 18212 [startup+1796.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18200 /proc/meminfo: memFree=1658504/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=1795.55 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 179552 3 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134549949 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 1795.55 Current children cumulated vsize (Kb) 18212 [startup+1797.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18200 /proc/meminfo: memFree=1658504/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=1796.55 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 179652 3 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 1796.55 Current children cumulated vsize (Kb) 18212 [startup+1798.13 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18200 /proc/meminfo: memFree=1658504/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=1797.55 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 179752 3 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (Kb) 18212 [startup+1799.13 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18200 /proc/meminfo: memFree=1658504/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=1798.56 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 179853 3 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 1798.56 Current children cumulated vsize (Kb) 18212 [startup+1800.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18200 /proc/meminfo: memFree=1658504/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=1799.56 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 179953 3 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607216 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (Kb) 18212 [startup+1801.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18200 /proc/meminfo: memFree=1658504/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=1800.57 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 180054 3 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601340 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 1800.57 Current children cumulated vsize (Kb) 18212 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18200 /proc/meminfo: memFree=1658504/2055920 swapFree=4181332/4192956 [pid=18005] ppid=18003 vsize=18212 CPUtime=1800.57 /proc/18005/stat : 18005 (wildcat-rnp) R 18003 18005 17959 0 -1 4194304 3224 0 0 0 180054 3 0 0 25 0 1 0 195285906 18649088 3200 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18005/statm: 4553 3200 117 226 0 4324 0 Current children cumulated CPU time (s) 1800.57 Current children cumulated vsize (Kb) 18212 Sending SIGTERM to -18005 Sleeping 2 seconds Child status: 0 Real time (s): 1801.16 CPU time (s): 1800.59 CPU user time (s): 1800.55 CPU system time (s): 0.035994 CPU usage (%): 99.9682 Max. virtual memory (cumulated for all children) (Kb): 18212
Begin job on node56 on Sat Jun 3 00:56:23 UTC 2006 FILE ID= 32276-1149296183 PBS_JOBID= 307108 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node56/32276-1149296183/instance-32276-1149296183.opb 91001343 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-32276-1149296183 -o ROOT/results/node56/solver-32276-1149296183 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node56/32276-1149296183/instance-32276-1149296183.opb 91001343 MD5SUM SOLVER= 433c0d3a0d963188fa818d869a2c809a MD5SUM BENCH= 05ceccb8ea9c274c844c39df1472d3cc RANDOM SEED= 91001343 /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.232 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.232 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: 1671248 kB Buffers: 22480 kB Cached: 295892 kB SwapCached: 3404 kB Active: 53560 kB Inactive: 273700 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1671248 kB SwapTotal: 4192956 kB SwapFree: 4181332 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14912 kB Slab: 43368 kB Committed_AS: 256488 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node56 on Sat Jun 3 01:26:24 UTC 2006