Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | -6 | 1782.87 | 1783.86 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb |
MD5SUM | 669011fc499ae56e44c354cc6cddc4c7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -49 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -49 |
Optimality of the best value was proved | NO |
Number of variables | 1150 |
Total number of constraints | 80851 |
Number of constraints which are clauses | 80851 |
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 | 1150 |
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 | 1150 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1150 |
Number of bits of the biggest sum of numbers | 11 |
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 Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.85 c starting to Solve 0.85 c #variables read: 1150 - #constraints read: 80852 0.86 o 0 0.86 o 1 0.86 o 2 0.88 o 3 1.54 o 4 2.92 o 5 54.26 o 6 1783.72 c total time : 1783 s 1783.72 s SATISFIABLE 1783.72 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 1783.72 v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 1783.72 v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 1783.72 v -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 1783.72 v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 1783.72 v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 1783.72 v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 1783.72 v -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 1783.72 v -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 1783.72 v -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 1783.72 v -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 1783.72 v -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 1783.72 v -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 1783.72 v -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 1783.72 v -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 1783.72 v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 1783.72 v -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 1783.72 v -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 1783.72 v -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 1783.72 v x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 1783.72 v -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 1783.72 v -x744 -x743 -x742 -x741 -x740 -x739 -x738 x737 x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 1783.72 v -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 1783.72 v -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 1783.72 v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 1783.72 v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 1783.72 v -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 1783.72 v -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 1783.72 v -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 1783.72 v -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 1783.72 v -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 1783.72 v -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 1783.72 v -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 1783.72 v -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 1783.72 v -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 1783.72 v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 1783.72 v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 1783.72 v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 1783.72 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 1783.72 v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 1783.72 v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 1783.72 v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 1783.72 v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 1783.72 v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 1783.72 v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 1783.72 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 1783.72 v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 1783.72 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 1783.72 v -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 1783.72 v -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 1783.72 v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 1783.72 v -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 1783.72 v -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 1783.72 v -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 1783.72 v -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 1783.72 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -6
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/node81/watcher-38212-1149298771 -o ROOT/results/node81/solver-38212-1149298771 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node81/38212-1149298771/instance-38212-1149298771.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.93 2/68 28949 /proc/meminfo: memFree=1091680/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=2336 CPUtime=0 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 147 0 0 0 0 0 0 0 18 0 1 0 195516553 2392064 129 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10070936 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 584 129 110 16 0 11 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.98 0.93 2/68 28949 /proc/meminfo: memFree=1002344/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=92048 CPUtime=9.99 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 22537 0 0 0 987 12 0 0 25 0 1 0 195516553 94257152 22509 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 23012 22509 206 16 0 22452 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 92048 [startup+20.0087 s] /proc/loadavg: 0.94 0.98 0.93 2/68 28949 /proc/meminfo: memFree=936040/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=158572 CPUtime=19.99 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 39085 0 0 0 1980 19 0 0 25 0 1 0 195516553 162377728 39057 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10537003 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 39643 39057 206 16 0 39083 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 158572 [startup+30.0148 s] /proc/loadavg: 0.95 0.98 0.93 2/68 28949 /proc/meminfo: memFree=888296/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=206900 CPUtime=29.99 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 51020 0 0 0 2973 26 0 0 25 0 1 0 195516553 211865600 50992 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10537003 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 51725 50992 206 16 0 51165 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 206900 [startup+40.0209 s] /proc/loadavg: 0.96 0.98 0.93 2/68 28949 /proc/meminfo: memFree=843112/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=252544 CPUtime=40 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 62287 0 0 0 3969 31 0 0 25 0 1 0 195516553 258605056 62259 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 63136 62259 206 16 0 62576 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 252544 [startup+50.027 s] /proc/loadavg: 0.96 0.98 0.93 2/68 28949 /proc/meminfo: memFree=798248/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=297408 CPUtime=50.01 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 73478 0 0 0 4964 37 0 0 25 0 1 0 195516553 304545792 73450 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10537003 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 74352 73450 206 16 0 73792 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 297408 [startup+60.0321 s] /proc/loadavg: 0.97 0.98 0.93 2/68 28949 /proc/meminfo: memFree=737256/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=358756 CPUtime=60 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 88717 0 0 0 5956 44 0 0 25 0 1 0 195516553 367366144 88689 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10537003 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 89689 88689 206 16 0 89129 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 358756 [startup+70.0382 s] /proc/loadavg: 0.97 0.98 0.93 2/68 28949 /proc/meminfo: memFree=674152/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=421672 CPUtime=70.01 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 104454 0 0 0 6949 52 0 0 25 0 1 0 195516553 431792128 104426 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 105418 104426 206 16 0 104858 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 421672 [startup+80.0444 s] /proc/loadavg: 0.98 0.98 0.93 2/68 28949 /proc/meminfo: memFree=616872/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=478680 CPUtime=80.01 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 118748 0 0 0 7943 58 0 0 25 0 1 0 195516553 490168320 118720 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10537003 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 119670 118720 206 16 0 119110 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 478680 [startup+90.0505 s] /proc/loadavg: 0.98 0.98 0.93 2/68 28949 /proc/meminfo: memFree=566952/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=528668 CPUtime=90.01 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 131195 0 0 0 8937 64 0 0 25 0 1 0 195516553 541356032 131167 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 132167 131167 206 16 0 131607 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 528668 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.93 2/68 28949 /proc/meminfo: memFree=566568/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=528912 CPUtime=100.02 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 131280 0 0 0 9937 65 0 0 25 0 1 0 195516553 541605888 131252 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 132228 131252 206 16 0 131668 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 528912 [startup+110.063 s] /proc/loadavg: 0.98 0.98 0.93 2/68 28949 /proc/meminfo: memFree=566568/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=528912 CPUtime=110.02 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 131280 0 0 0 10936 66 0 0 25 0 1 0 195516553 541605888 131252 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 132228 131252 206 16 0 131668 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 528912 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.93 2/68 28949 /proc/meminfo: memFree=566632/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=528912 CPUtime=120.02 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 131280 0 0 0 11935 67 0 0 25 0 1 0 195516553 541605888 131252 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 132228 131252 206 16 0 131668 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 528912 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.93 2/68 28949 /proc/meminfo: memFree=566632/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=528912 CPUtime=130.02 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 131281 0 0 0 12935 67 0 0 25 0 1 0 195516553 541605888 131253 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 132228 131253 206 16 0 131668 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 528912 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.93 2/68 28949 /proc/meminfo: memFree=566568/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=528912 CPUtime=140.03 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 131283 0 0 0 13935 68 0 0 25 0 1 0 195516553 541605888 131255 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 132228 131255 206 16 0 131668 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 528912 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.93 2/68 28949 /proc/meminfo: memFree=566568/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=528912 CPUtime=150.03 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 131286 0 0 0 14934 69 0 0 25 0 1 0 195516553 541605888 131258 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517957 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 132228 131258 206 16 0 131668 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 528912 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.93 2/68 28949 /proc/meminfo: memFree=566504/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=528912 CPUtime=160.04 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 131299 0 0 0 15934 70 0 0 25 0 1 0 195516553 541605888 131271 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 132228 131271 206 16 0 131668 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 528912 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.93 2/68 28949 /proc/meminfo: memFree=566440/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=528912 CPUtime=170.04 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 131308 0 0 0 16933 71 0 0 25 0 1 0 195516553 541605888 131280 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 132228 131280 206 16 0 131668 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 528912 [startup+180.105 s] /proc/loadavg: 0.99 0.98 0.93 2/68 28949 /proc/meminfo: memFree=538536/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=556888 CPUtime=180.04 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 138282 0 0 0 17929 75 0 0 25 0 1 0 195516553 570253312 138254 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 139222 138254 206 16 0 138662 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 556888 [startup+190.111 s] /proc/loadavg: 0.99 0.98 0.93 2/68 28949 /proc/meminfo: memFree=495208/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=600096 CPUtime=190.04 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 149094 0 0 0 18924 80 0 0 25 0 1 0 195516553 614498304 149066 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 150024 149066 206 16 0 149464 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 600096 [startup+200.117 s] /proc/loadavg: 0.99 0.98 0.93 2/68 28949 /proc/meminfo: memFree=478824/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=617220 CPUtime=200.05 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 153168 0 0 0 19922 83 0 0 25 0 1 0 195516553 632033280 153140 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 154305 153140 206 16 0 153745 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 617220 [startup+210.123 s] /proc/loadavg: 0.99 0.98 0.93 2/68 28949 /proc/meminfo: memFree=459368/2055892 swapFree=4085344/4096564 ################ # More data... # ################ /proc/28949/statm: 238138 236812 206 16 0 237578 0 Current children cumulated CPU time (s) 1590 Current children cumulated vsize (Kb) 952552 [startup+1600.95 s] /proc/loadavg: 1.00 1.00 0.94 2/68 29624 /proc/meminfo: memFree=143208/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=952552 CPUtime=1600.01 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 236840 0 0 0 159813 188 0 0 25 0 1 0 195516553 975413248 236812 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 238138 236812 206 16 0 237578 0 Current children cumulated CPU time (s) 1600.01 Current children cumulated vsize (Kb) 952552 [startup+1610.96 s] /proc/loadavg: 1.00 1.00 0.94 2/68 29624 /proc/meminfo: memFree=143208/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=952552 CPUtime=1610.02 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 236840 0 0 0 160813 189 0 0 25 0 1 0 195516553 975413248 236812 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 238138 236812 206 16 0 237578 0 Current children cumulated CPU time (s) 1610.02 Current children cumulated vsize (Kb) 952552 [startup+1620.97 s] /proc/loadavg: 1.00 1.00 0.94 2/68 29624 /proc/meminfo: memFree=143208/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=952552 CPUtime=1620.01 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 236841 0 0 0 161812 189 0 0 25 0 1 0 195516553 975413248 236813 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 238138 236813 206 16 0 237578 0 Current children cumulated CPU time (s) 1620.01 Current children cumulated vsize (Kb) 952552 [startup+1630.97 s] /proc/loadavg: 1.00 1.00 0.94 2/68 29624 /proc/meminfo: memFree=143272/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=952552 CPUtime=1630.02 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 236841 0 0 0 162812 190 0 0 25 0 1 0 195516553 975413248 236813 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 238138 236813 206 16 0 237578 0 Current children cumulated CPU time (s) 1630.02 Current children cumulated vsize (Kb) 952552 [startup+1640.98 s] /proc/loadavg: 1.00 1.00 0.94 2/68 29624 /proc/meminfo: memFree=143272/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=952552 CPUtime=1640.02 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 236841 0 0 0 163812 190 0 0 25 0 1 0 195516553 975413248 236813 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528528 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 238138 236813 206 16 0 237578 0 Current children cumulated CPU time (s) 1640.02 Current children cumulated vsize (Kb) 952552 [startup+1650.98 s] /proc/loadavg: 1.00 1.00 0.94 2/68 29624 /proc/meminfo: memFree=143272/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=952552 CPUtime=1650.03 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 236841 0 0 0 164812 191 0 0 25 0 1 0 195516553 975413248 236813 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519884 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 238138 236813 206 16 0 237578 0 Current children cumulated CPU time (s) 1650.03 Current children cumulated vsize (Kb) 952552 [startup+1660.99 s] /proc/loadavg: 1.00 1.00 0.94 2/68 29624 /proc/meminfo: memFree=143208/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=952552 CPUtime=1660.03 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 236843 0 0 0 165812 191 0 0 25 0 1 0 195516553 975413248 236815 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 238138 236815 206 16 0 237578 0 Current children cumulated CPU time (s) 1660.03 Current children cumulated vsize (Kb) 952552 [startup+1670.99 s] /proc/loadavg: 1.00 1.00 0.94 2/68 29624 /proc/meminfo: memFree=143208/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=952552 CPUtime=1670.03 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 236843 0 0 0 166811 192 0 0 25 0 1 0 195516553 975413248 236815 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 238138 236815 206 16 0 237578 0 Current children cumulated CPU time (s) 1670.03 Current children cumulated vsize (Kb) 952552 [startup+1681 s] /proc/loadavg: 1.00 1.00 0.94 2/68 29624 /proc/meminfo: memFree=143144/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=952808 CPUtime=1680.04 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 236861 0 0 0 167811 193 0 0 25 0 1 0 195516553 975675392 236833 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 238202 236833 206 16 0 237642 0 Current children cumulated CPU time (s) 1680.04 Current children cumulated vsize (Kb) 952808 [startup+1691.01 s] /proc/loadavg: 1.00 1.00 0.94 2/68 29624 /proc/meminfo: memFree=143080/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=952808 CPUtime=1690.04 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 236871 0 0 0 168811 193 0 0 25 0 1 0 195516553 975675392 236843 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 238202 236843 206 16 0 237642 0 Current children cumulated CPU time (s) 1690.04 Current children cumulated vsize (Kb) 952808 [startup+1701.01 s] /proc/loadavg: 1.00 1.00 0.94 2/68 29624 /proc/meminfo: memFree=142120/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=953772 CPUtime=1700.04 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 169810 194 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 238443 237080 206 16 0 237883 0 Current children cumulated CPU time (s) 1700.04 Current children cumulated vsize (Kb) 953772 [startup+1711.02 s] /proc/loadavg: 1.00 1.00 0.94 2/68 29624 /proc/meminfo: memFree=142120/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=953772 CPUtime=1710.04 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 170810 194 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516734 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 238443 237080 206 16 0 237883 0 Current children cumulated CPU time (s) 1710.04 Current children cumulated vsize (Kb) 953772 [startup+1721.02 s] /proc/loadavg: 1.00 1.00 0.94 2/68 29624 /proc/meminfo: memFree=142184/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=953772 CPUtime=1720.04 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 171810 194 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 238443 237080 206 16 0 237883 0 Current children cumulated CPU time (s) 1720.04 Current children cumulated vsize (Kb) 953772 [startup+1731.03 s] /proc/loadavg: 1.08 1.02 0.95 2/68 29624 /proc/meminfo: memFree=142184/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=953772 CPUtime=1730.05 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 172809 196 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 238443 237080 206 16 0 237883 0 Current children cumulated CPU time (s) 1730.05 Current children cumulated vsize (Kb) 953772 [startup+1741.04 s] /proc/loadavg: 1.07 1.02 0.95 2/68 29624 /proc/meminfo: memFree=142184/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=953772 CPUtime=1740.05 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 173809 196 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517940 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 238443 237080 206 16 0 237883 0 Current children cumulated CPU time (s) 1740.05 Current children cumulated vsize (Kb) 953772 [startup+1751.04 s] /proc/loadavg: 1.06 1.01 0.95 2/68 29624 /proc/meminfo: memFree=142184/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=953772 CPUtime=1750.06 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 174808 198 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 238443 237080 206 16 0 237883 0 Current children cumulated CPU time (s) 1750.06 Current children cumulated vsize (Kb) 953772 [startup+1761.05 s] /proc/loadavg: 1.05 1.01 0.95 2/68 29624 /proc/meminfo: memFree=142184/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=953772 CPUtime=1760.05 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 175807 198 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519932 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 238443 237080 206 16 0 237883 0 Current children cumulated CPU time (s) 1760.05 Current children cumulated vsize (Kb) 953772 [startup+1771.05 s] /proc/loadavg: 1.04 1.01 0.95 2/68 29624 /proc/meminfo: memFree=142120/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=953772 CPUtime=1770.06 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 176807 199 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 238443 237080 206 16 0 237883 0 Current children cumulated CPU time (s) 1770.06 Current children cumulated vsize (Kb) 953772 [startup+1781.06 s] /proc/loadavg: 1.03 1.01 0.95 2/68 29624 /proc/meminfo: memFree=142120/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=953772 CPUtime=1780.06 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 177806 200 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 238443 237080 206 16 0 237883 0 Current children cumulated CPU time (s) 1780.06 Current children cumulated vsize (Kb) 953772 [startup+1782.06 s] /proc/loadavg: 1.03 1.01 0.95 2/68 29624 /proc/meminfo: memFree=142120/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=953772 CPUtime=1781.07 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 177907 200 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 238443 237080 206 16 0 237883 0 Current children cumulated CPU time (s) 1781.07 Current children cumulated vsize (Kb) 953772 [startup+1783.07 s] /proc/loadavg: 1.03 1.01 0.95 2/68 29624 /proc/meminfo: memFree=142120/2055892 swapFree=4085344/4096564 [pid=28949] ppid=28947 vsize=953772 CPUtime=1782.07 /proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 178007 200 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/28949/statm: 238443 237080 206 16 0 237883 0 Current children cumulated CPU time (s) 1782.07 Current children cumulated vsize (Kb) 953772 Child status: 10 Real time (s): 1783.86 CPU time (s): 1782.87 CPU user time (s): 1780.73 CPU system time (s): 2.14267 CPU usage (%): 99.9445 Max. virtual memory (cumulated for all children) (Kb): 953772
Begin job on node81 on Sat Jun 3 01:39:31 UTC 2006 FILE ID= 38212-1149298771 PBS_JOBID= 307264 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node81/38212-1149298771/instance-38212-1149298771.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node81/watcher-38212-1149298771 -o ROOT/results/node81/solver-38212-1149298771 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node81/38212-1149298771/instance-38212-1149298771.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 669011fc499ae56e44c354cc6cddc4c7 RANDOM SEED= 996049199 /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.248 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 : 6006.19 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.248 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1091888 kB Buffers: 44988 kB Cached: 839348 kB SwapCached: 2656 kB Active: 173944 kB Inactive: 719272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1091888 kB SwapTotal: 4096564 kB SwapFree: 4085344 kB Dirty: 172 kB Writeback: 0 kB Mapped: 16520 kB Slab: 57316 kB Committed_AS: 277752 kB PageTables: 1288 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node81 on Sat Jun 3 02:09:15 UTC 2006