Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -8 | 1782.91 | 1783.41 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb |
MD5SUM | e81d6b8e8ff8ec031773b7b65d16ea78 |
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.56 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -50 |
Optimality of the best value was proved | NO |
Number of variables | 1150 |
Total number of constraints | 80258 |
Number of constraints which are clauses | 80258 |
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.93 c starting to Solve 0.93 c #variables read: 1150 - #constraints read: 80259 0.93 o 0 0.93 o 1 0.94 o 2 1.48 o 3 2.81 o 4 65.17 o 5 134.54 o 6 862.02 o 7 893.25 o 8 1783.31 c total time : 1783.07 s 1783.31 s SATISFIABLE 1783.31 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 1783.31 v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 1783.31 v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 1783.31 v -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 1783.31 v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 1783.31 v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 1783.31 v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 1783.31 v -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 1783.31 v -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 1783.31 v -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 1783.31 v -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 1783.31 v -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 1783.31 v -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 1783.31 v -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 1783.31 v -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 1783.31 v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 1783.31 v -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 1783.31 v -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 1783.31 v -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 1783.31 v -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 1783.31 v -x765 -x764 x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 1783.31 v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 1783.31 v -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 1783.31 v -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 1783.31 v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 1783.31 v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 1783.31 v -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 1783.31 v -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 1783.31 v -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 1783.31 v -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 1783.31 v -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 1783.31 v -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 1783.31 v -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 1783.31 v -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 1783.31 v -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 1783.31 v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 1783.31 v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 1783.31 v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 1783.31 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 1783.31 v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 1783.31 v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 1783.31 v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 1783.31 v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 1783.31 v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 1783.31 v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 x246 -x245 -x244 -x243 -x242 -x241 1783.31 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 1783.31 v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 1783.31 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 1783.31 v -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 1783.31 v -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 1783.31 v -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 1783.31 v -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 1783.31 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.31 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.31 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.31 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -8
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/node49/watcher-37061-1149298443 -o ROOT/results/node49/solver-37061-1149298443 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node49/37061-1149298443/instance-37061-1149298443.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.78 0.95 0.91 2/64 8687 /proc/meminfo: memFree=1760152/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=2328 CPUtime=0 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 195511420 2383872 129 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2485112 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 582 129 110 16 0 11 0 [startup+10.0022 s] /proc/loadavg: 0.81 0.95 0.91 2/64 8687 /proc/meminfo: memFree=1743976/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=18880 CPUtime=9.99 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 4297 0 0 0 998 1 0 0 25 0 1 0 195511420 19333120 4268 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 4720 4268 206 16 0 4161 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 18880 [startup+20.008 s] /proc/loadavg: 0.84 0.95 0.91 2/64 8687 /proc/meminfo: memFree=1734248/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=28688 CPUtime=19.99 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 6755 0 0 0 1997 2 0 0 25 0 1 0 195511420 29376512 6726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 7172 6726 206 16 0 6613 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 28688 [startup+30.0138 s] /proc/loadavg: 0.86 0.95 0.91 2/64 8687 /proc/meminfo: memFree=1724456/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=38496 CPUtime=30 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 9199 0 0 0 2996 4 0 0 25 0 1 0 195511420 39419904 9170 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 9624 9170 206 16 0 9065 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 38496 [startup+40.0197 s] /proc/loadavg: 0.89 0.95 0.91 2/64 8687 /proc/meminfo: memFree=1715816/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=47064 CPUtime=40 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 11361 0 0 0 3995 5 0 0 25 0 1 0 195511420 48193536 11332 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134529116 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 11766 11332 206 16 0 11207 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 47064 [startup+50.0255 s] /proc/loadavg: 0.90 0.96 0.91 2/64 8687 /proc/meminfo: memFree=1707240/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=55816 CPUtime=50.01 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 13503 0 0 0 4994 7 0 0 25 0 1 0 195511420 57155584 13474 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 13954 13474 206 16 0 13395 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 55816 [startup+60.0313 s] /proc/loadavg: 0.92 0.96 0.91 2/64 8687 /proc/meminfo: memFree=1699432/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=63640 CPUtime=60.01 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 15458 0 0 0 5993 8 0 0 25 0 1 0 195511420 65167360 15429 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 15910 15429 206 16 0 15351 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 63640 [startup+70.0372 s] /proc/loadavg: 0.93 0.96 0.91 2/64 8687 /proc/meminfo: memFree=1690984/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=72016 CPUtime=70.01 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 17571 0 0 0 6993 8 0 0 25 0 1 0 195511420 73744384 17542 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 18004 17542 206 16 0 17445 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 72016 [startup+80.042 s] /proc/loadavg: 0.94 0.96 0.91 2/64 8687 /proc/meminfo: memFree=1682408/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=80568 CPUtime=80.01 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 19708 0 0 0 7992 9 0 0 25 0 1 0 195511420 82501632 19679 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 20142 19679 206 16 0 19583 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 80568 [startup+90.0478 s] /proc/loadavg: 0.95 0.96 0.91 2/64 8687 /proc/meminfo: memFree=1674984/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=87984 CPUtime=90.01 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 21561 0 0 0 8992 9 0 0 25 0 1 0 195511420 90095616 21532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 21996 21532 206 16 0 21437 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 87984 [startup+100.054 s] /proc/loadavg: 0.96 0.96 0.91 2/64 8687 /proc/meminfo: memFree=1667368/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=95636 CPUtime=100.02 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 23452 0 0 0 9992 10 0 0 25 0 1 0 195511420 97931264 23423 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 23909 23423 206 16 0 23350 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 95636 [startup+110.059 s] /proc/loadavg: 0.96 0.96 0.91 2/64 8687 /proc/meminfo: memFree=1659880/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=103104 CPUtime=110.02 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 25317 0 0 0 10991 11 0 0 25 0 1 0 195511420 105578496 25288 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 25776 25288 206 16 0 25217 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 103104 [startup+120.065 s] /proc/loadavg: 0.97 0.96 0.91 2/64 8687 /proc/meminfo: memFree=1651688/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=111312 CPUtime=120.03 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 27364 0 0 0 11991 12 0 0 25 0 1 0 195511420 113983488 27335 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 27828 27335 206 16 0 27269 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 111312 [startup+130.071 s] /proc/loadavg: 0.97 0.96 0.91 2/64 8687 /proc/meminfo: memFree=1643560/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=119468 CPUtime=130.03 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 29400 0 0 0 12990 13 0 0 25 0 1 0 195511420 122335232 29371 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134533509 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 29867 29371 206 16 0 29308 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 119468 [startup+140.077 s] /proc/loadavg: 0.98 0.96 0.91 2/64 8687 /proc/meminfo: memFree=1636200/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=126804 CPUtime=140.03 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 31229 0 0 0 13989 14 0 0 25 0 1 0 195511420 129847296 31200 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523686 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 31701 31200 206 16 0 31142 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 126804 [startup+150.083 s] /proc/loadavg: 0.98 0.97 0.91 2/64 8687 /proc/meminfo: memFree=1628840/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=134136 CPUtime=150.04 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 33064 0 0 0 14989 15 0 0 25 0 1 0 195511420 137355264 33035 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 33534 33035 206 16 0 32975 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 134136 [startup+160.089 s] /proc/loadavg: 0.98 0.97 0.91 2/64 8687 /proc/meminfo: memFree=1622312/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=140648 CPUtime=160.04 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 34697 0 0 0 15989 15 0 0 25 0 1 0 195511420 144023552 34668 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 35162 34668 206 16 0 34603 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 140648 [startup+170.095 s] /proc/loadavg: 0.98 0.97 0.91 2/64 8687 /proc/meminfo: memFree=1614760/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=148276 CPUtime=170.04 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 36583 0 0 0 16988 16 0 0 25 0 1 0 195511420 151834624 36554 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 37069 36554 206 16 0 36510 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 148276 [startup+180.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8687 /proc/meminfo: memFree=1607656/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=155312 CPUtime=180.05 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 38358 0 0 0 17988 17 0 0 25 0 1 0 195511420 159039488 38329 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523654 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 38828 38329 206 16 0 38269 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 155312 [startup+190.106 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8687 /proc/meminfo: memFree=1600360/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=162572 CPUtime=190.05 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 40169 0 0 0 18987 18 0 0 25 0 1 0 195511420 166473728 40140 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527841 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 40643 40140 206 16 0 40084 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 162572 [startup+200.111 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8687 /proc/meminfo: memFree=1593832/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=169120 CPUtime=200.05 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 41794 0 0 0 19986 19 0 0 25 0 1 0 195511420 173178880 41765 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 42280 41765 206 16 0 41721 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 169120 [startup+210.117 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8687 /proc/meminfo: memFree=1585896/2055920 swapFree=4181416/4192956 ################ # More data... # ################ /proc/8687/statm: 151458 150042 206 16 0 150899 0 Current children cumulated CPU time (s) 1590.53 Current children cumulated vsize (Kb) 605832 [startup+1600.92 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8687 /proc/meminfo: memFree=1159848/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=605832 CPUtime=1600.53 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150071 0 0 0 159961 92 0 0 25 0 1 0 195511420 620371968 150042 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 151458 150042 206 16 0 150899 0 Current children cumulated CPU time (s) 1600.53 Current children cumulated vsize (Kb) 605832 [startup+1610.92 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8687 /proc/meminfo: memFree=1159848/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=605832 CPUtime=1610.54 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150071 0 0 0 160962 92 0 0 25 0 1 0 195511420 620371968 150042 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 151458 150042 206 16 0 150899 0 Current children cumulated CPU time (s) 1610.54 Current children cumulated vsize (Kb) 605832 [startup+1620.93 s] /proc/loadavg: 0.99 0.97 0.91 2/70 8710 /proc/meminfo: memFree=1158640/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=605832 CPUtime=1620.53 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150071 0 0 0 161961 92 0 0 25 0 1 0 195511420 620371968 150042 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524571 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 151458 150042 206 16 0 150899 0 Current children cumulated CPU time (s) 1620.53 Current children cumulated vsize (Kb) 605832 [startup+1630.94 s] /proc/loadavg: 0.99 0.97 0.91 2/70 8800 /proc/meminfo: memFree=1158320/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=605832 CPUtime=1630.52 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150071 0 0 0 162957 95 0 0 25 0 1 0 195511420 620371968 150042 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519088 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 151458 150042 206 16 0 150899 0 Current children cumulated CPU time (s) 1630.52 Current children cumulated vsize (Kb) 605832 [startup+1640.94 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8882 /proc/meminfo: memFree=1158992/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=605832 CPUtime=1640.49 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150077 0 0 0 163954 95 0 0 25 0 1 0 195511420 620371968 150048 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523628 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 151458 150048 206 16 0 150899 0 Current children cumulated CPU time (s) 1640.49 Current children cumulated vsize (Kb) 605832 [startup+1650.95 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8882 /proc/meminfo: memFree=1159208/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=605832 CPUtime=1650.49 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150077 0 0 0 164954 95 0 0 25 0 1 0 195511420 620371968 150048 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 151458 150048 206 16 0 150899 0 Current children cumulated CPU time (s) 1650.49 Current children cumulated vsize (Kb) 605832 [startup+1660.95 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8882 /proc/meminfo: memFree=1159208/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=605832 CPUtime=1660.5 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150077 0 0 0 165954 96 0 0 25 0 1 0 195511420 620371968 150048 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 151458 150048 206 16 0 150899 0 Current children cumulated CPU time (s) 1660.5 Current children cumulated vsize (Kb) 605832 [startup+1670.96 s] /proc/loadavg: 1.06 0.99 0.92 2/64 8882 /proc/meminfo: memFree=1159208/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=605832 CPUtime=1670.5 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150077 0 0 0 166954 96 0 0 25 0 1 0 195511420 620371968 150048 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 151458 150048 206 16 0 150899 0 Current children cumulated CPU time (s) 1670.5 Current children cumulated vsize (Kb) 605832 [startup+1680.97 s] /proc/loadavg: 1.13 1.00 0.93 3/70 9293 /proc/meminfo: memFree=1147792/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=605832 CPUtime=1680.49 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150077 0 0 0 167953 96 0 0 25 0 1 0 195511420 620371968 150048 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 151458 150048 206 16 0 150899 0 Current children cumulated CPU time (s) 1680.49 Current children cumulated vsize (Kb) 605832 [startup+1690.97 s] /proc/loadavg: 1.18 1.02 0.93 2/64 9358 /proc/meminfo: memFree=1126024/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=605832 CPUtime=1690.49 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150077 0 0 0 168948 101 0 0 25 0 1 0 195511420 620371968 150048 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 151458 150048 206 16 0 150899 0 Current children cumulated CPU time (s) 1690.49 Current children cumulated vsize (Kb) 605832 [startup+1700.98 s] /proc/loadavg: 1.16 1.02 0.93 2/64 9358 /proc/meminfo: memFree=1126248/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=605832 CPUtime=1700.49 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150077 0 0 0 169948 101 0 0 25 0 1 0 195511420 620371968 150048 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528004 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 151458 150048 206 16 0 150899 0 Current children cumulated CPU time (s) 1700.49 Current children cumulated vsize (Kb) 605832 [startup+1710.98 s] /proc/loadavg: 1.13 1.02 0.93 2/64 9358 /proc/meminfo: memFree=1126376/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=605832 CPUtime=1710.49 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150091 0 0 0 170948 101 0 0 25 0 1 0 195511420 620371968 150062 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 151458 150062 206 16 0 150899 0 Current children cumulated CPU time (s) 1710.49 Current children cumulated vsize (Kb) 605832 [startup+1720.99 s] /proc/loadavg: 1.11 1.02 0.93 2/64 9358 /proc/meminfo: memFree=1126376/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=605832 CPUtime=1720.5 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150091 0 0 0 171948 102 0 0 25 0 1 0 195511420 620371968 150062 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 151458 150062 206 16 0 150899 0 Current children cumulated CPU time (s) 1720.5 Current children cumulated vsize (Kb) 605832 [startup+1731 s] /proc/loadavg: 1.09 1.02 0.93 2/64 9358 /proc/meminfo: memFree=1126376/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=605832 CPUtime=1730.5 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150091 0 0 0 172948 102 0 0 25 0 1 0 195511420 620371968 150062 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 151458 150062 206 16 0 150899 0 Current children cumulated CPU time (s) 1730.5 Current children cumulated vsize (Kb) 605832 [startup+1741 s] /proc/loadavg: 1.08 1.01 0.93 2/64 9358 /proc/meminfo: memFree=1126440/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=605832 CPUtime=1740.5 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150091 0 0 0 173948 102 0 0 25 0 1 0 195511420 620371968 150062 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559559 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 151458 150062 206 16 0 150899 0 Current children cumulated CPU time (s) 1740.5 Current children cumulated vsize (Kb) 605832 [startup+1751.01 s] /proc/loadavg: 1.07 1.01 0.93 2/64 9358 /proc/meminfo: memFree=1126440/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=605832 CPUtime=1750.51 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150091 0 0 0 174949 102 0 0 25 0 1 0 195511420 620371968 150062 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 151458 150062 206 16 0 150899 0 Current children cumulated CPU time (s) 1750.51 Current children cumulated vsize (Kb) 605832 [startup+1761.01 s] /proc/loadavg: 1.06 1.01 0.93 2/64 9358 /proc/meminfo: memFree=1126440/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=605832 CPUtime=1760.51 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150091 0 0 0 175949 102 0 0 25 0 1 0 195511420 620371968 150062 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 151458 150062 206 16 0 150899 0 Current children cumulated CPU time (s) 1760.51 Current children cumulated vsize (Kb) 605832 [startup+1771.02 s] /proc/loadavg: 1.05 1.01 0.93 2/64 9358 /proc/meminfo: memFree=1126312/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=605832 CPUtime=1770.51 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150156 0 0 0 176949 102 0 0 25 0 1 0 195511420 620371968 150127 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 151458 150127 206 16 0 150899 0 Current children cumulated CPU time (s) 1770.51 Current children cumulated vsize (Kb) 605832 [startup+1781.02 s] /proc/loadavg: 1.04 1.01 0.93 2/64 9358 /proc/meminfo: memFree=1126248/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=605832 CPUtime=1780.51 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150159 0 0 0 177949 102 0 0 25 0 1 0 195511420 620371968 150130 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527841 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 151458 150130 206 16 0 150899 0 Current children cumulated CPU time (s) 1780.51 Current children cumulated vsize (Kb) 605832 [startup+1782.03 s] /proc/loadavg: 1.04 1.01 0.93 2/64 9358 /proc/meminfo: memFree=1126248/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=605832 CPUtime=1781.52 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150160 0 0 0 178050 102 0 0 25 0 1 0 195511420 620371968 150131 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 151458 150131 206 16 0 150899 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (Kb) 605832 [startup+1783.03 s] /proc/loadavg: 1.04 1.01 0.93 2/64 9358 /proc/meminfo: memFree=1126248/2055920 swapFree=4181416/4192956 [pid=8687] ppid=8685 vsize=605832 CPUtime=1782.52 /proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150160 0 0 0 178150 102 0 0 25 0 1 0 195511420 620371968 150131 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/8687/statm: 151458 150131 206 16 0 150899 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 605832 Child status: 10 Real time (s): 1783.41 CPU time (s): 1782.91 CPU user time (s): 1781.78 CPU system time (s): 1.12483 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (Kb): 605832
Begin job on node49 on Sat Jun 3 01:34:03 UTC 2006 FILE ID= 37061-1149298443 PBS_JOBID= 307254 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-4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node49/37061-1149298443/instance-37061-1149298443.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node49/watcher-37061-1149298443 -o ROOT/results/node49/solver-37061-1149298443 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node49/37061-1149298443/instance-37061-1149298443.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= e81d6b8e8ff8ec031773b7b65d16ea78 RANDOM SEED= 304531339 /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.216 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.216 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: 1760360 kB Buffers: 16996 kB Cached: 221436 kB SwapCached: 3036 kB Active: 44740 kB Inactive: 202248 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1760360 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 216 kB Writeback: 0 kB Mapped: 14908 kB Slab: 34584 kB Committed_AS: 298448 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node49 on Sat Jun 3 02:03:46 UTC 2006