Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-rnp 0.8.0 | SAT (TO) | 3551 | 1800.66 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb |
MD5SUM | 8d2c17131f0dd6c2b5d472cf1eef4c89 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2967 |
Best CPU time to get the best result obtained on this benchmark | 3.03154 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2967 |
Optimality of the best value was proved | YES |
Number of variables | 1086 |
Total number of constraints | 85 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 84 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 1086 |
Number of terms in the objective function | 1086 |
Biggest coefficient in the objective function | 283 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 197191 |
Number of bits of the sum of numbers in the objective function | 18 |
Biggest number in a constraint | 283 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 197191 |
Number of bits of the biggest sum of numbers | 18 |
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/node47/31880-1149368180/instance-31880-1149368180.opb 234901011 0.00 c =================================== BEGIN =================================== 0.00 c 0.00 c Random Number Seed: 234901011 0.00 c Noise: 0.7 (70 : 100) 0.02 c Starting searching: 0.02 c Phase 1 ... 0.97 c trying 197191: vc 0.97 o 4641 200.60 c trying 3093: xxxxxxxxxxc 200.60 c Phase 2 ... 203.68 c trying 4640: vc 203.68 o 4278 206.74 c trying 4277: vc 206.74 o 3914 259.78 c trying 3913: vc 259.78 o 3838 327.07 c trying 3837: vc 327.07 o 3739 448.39 c trying 3738: vc 448.39 o 3587 487.08 c trying 3586: vc 487.08 o 3551 1801.17 c trying 3550: xxxxxxxc 1801.17 c Phase 3 ... 1801.17 c trying 3550 again: c 1801.17 s SATISFIABLE 1801.17 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 -x29 1801.17 v -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 -x55 1801.17 v -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 -x81 1801.17 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1801.17 v -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1801.17 v -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1801.17 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 1801.17 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1801.17 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1801.17 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 1801.17 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1801.17 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1801.17 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1801.17 v -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1801.17 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1801.17 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1801.17 v -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1801.17 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1801.17 v -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1801.17 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1801.17 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1801.17 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1801.17 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1801.17 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1801.17 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1801.17 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 1801.17 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1801.17 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1801.17 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1801.17 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1801.17 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1801.17 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1801.17 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1801.17 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1801.17 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 1801.17 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1801.17 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1801.17 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1801.17 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 1801.17 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1801.17 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1801.17 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1801.17 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 1801.17 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 1801.17 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1801.17 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1801.17 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1801.17 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1801.17 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1801.17 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 1801.17 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 1801.17 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 1801.17 c Total Number of Positive Atoms : 27 1801.17 c 1801.17 c During searching: 487.056 seconds elapsed. 1801.17 c CPU time spent: 486.9 seconds. 1801.17 c 1801.17 c =================================== END ===================================== 1801.17 c
OK 3551
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/node47/watcher-31880-1149368180 -o ROOT/results/node47/solver-31880-1149368180 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node47/31880-1149368180/instance-31880-1149368180.opb 234901011 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547736/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6000 CPUtime=0 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 155 0 0 0 0 0 0 0 19 0 1 0 168746542 6144000 139 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135002082 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1500 139 105 226 0 1271 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547160/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=9.99 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 999 0 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566862 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 6364 [startup+20.0084 s] /proc/loadavg: 0.94 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547160/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=20 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 2000 0 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134611513 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 6364 [startup+30.0145 s] /proc/loadavg: 0.95 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547160/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=30 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 3000 0 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598605 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 6364 [startup+40.0206 s] /proc/loadavg: 0.96 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547160/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=40 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 4000 0 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598944 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 6364 [startup+50.0277 s] /proc/loadavg: 0.96 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547160/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=50.01 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 5001 0 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134599234 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 6364 [startup+60.0338 s] /proc/loadavg: 0.97 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547160/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=60.01 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 6001 0 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134611576 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 6364 [startup+70.0399 s] /proc/loadavg: 0.97 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547160/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=70.02 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 7002 0 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607335 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 70.02 Current children cumulated vsize (Kb) 6364 [startup+80.046 s] /proc/loadavg: 0.98 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547224/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=80.02 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 8002 0 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134611537 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 6364 [startup+90.0521 s] /proc/loadavg: 0.98 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547224/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=90.02 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 9002 0 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598605 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 6364 [startup+100.058 s] /proc/loadavg: 0.98 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547224/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=100.03 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 10003 0 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 100.03 Current children cumulated vsize (Kb) 6364 [startup+110.064 s] /proc/loadavg: 0.98 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547224/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=110.03 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 11003 0 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 6364 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547224/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=120.03 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 12003 0 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601257 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 6364 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547160/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=130.03 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 13003 0 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598998 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 6364 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547160/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=140.04 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 14004 0 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 6364 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547160/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=150.04 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 15004 0 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598346 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 6364 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547160/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=160.04 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 16004 0 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134599220 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 6364 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547160/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=170.05 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 17005 0 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134611584 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 6364 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547224/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=180.05 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 18005 0 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877464 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 6364 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547224/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=190.05 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 19005 0 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601287 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 6364 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547224/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=200.06 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 20006 0 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 6364 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28007 /proc/meminfo: memFree=1547224/2055920 swapFree=4183692/4192956 ################ # More data... # ################ [pid=28007] ppid=28005 vsize=6364 CPUtime=1781.55 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 178150 5 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134611543 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 6364 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28204 /proc/meminfo: memFree=1546784/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=1782.55 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 178250 5 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 6364 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28204 /proc/meminfo: memFree=1546784/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=1783.56 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 178351 5 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 1783.56 Current children cumulated vsize (Kb) 6364 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28204 /proc/meminfo: memFree=1546784/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=1784.56 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 178451 5 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607710 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 6364 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28204 /proc/meminfo: memFree=1546784/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=1785.57 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 178552 5 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 6364 [startup+1787.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28204 /proc/meminfo: memFree=1546784/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=1786.57 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 178652 5 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134597104 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 1786.57 Current children cumulated vsize (Kb) 6364 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28204 /proc/meminfo: memFree=1546784/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=1787.58 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 178753 5 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134611543 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 6364 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28204 /proc/meminfo: memFree=1546784/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=1788.58 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 178853 5 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 6364 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28204 /proc/meminfo: memFree=1546784/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=1789.58 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 178953 5 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 6364 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28204 /proc/meminfo: memFree=1546784/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=1790.59 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 179054 5 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 6364 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28204 /proc/meminfo: memFree=1546784/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=1791.59 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 179154 5 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 6364 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28204 /proc/meminfo: memFree=1546784/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=1792.6 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 179255 5 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 6364 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28204 /proc/meminfo: memFree=1546784/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=1793.6 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 179355 5 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598336 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 6364 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28204 /proc/meminfo: memFree=1546784/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=1794.61 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 179456 5 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566982 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 6364 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28204 /proc/meminfo: memFree=1546784/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=1795.61 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 179556 5 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877485 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 6364 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28204 /proc/meminfo: memFree=1546784/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=1796.62 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 179657 5 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134611520 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 6364 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28204 /proc/meminfo: memFree=1546784/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=1797.62 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 179757 5 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 6364 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28204 /proc/meminfo: memFree=1546784/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=1798.63 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 179858 5 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601138 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 6364 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28204 /proc/meminfo: memFree=1546784/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=1799.63 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 179958 5 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (Kb) 6364 [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28204 /proc/meminfo: memFree=1546784/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=1800.64 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 180059 5 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 6364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28204 /proc/meminfo: memFree=1546784/2055920 swapFree=4183692/4192956 [pid=28007] ppid=28005 vsize=6364 CPUtime=1800.64 /proc/28007/stat : 28007 (wildcat-rnp) R 28005 28007 27961 0 -1 4194304 273 0 0 0 180059 5 0 0 25 0 1 0 168746542 6516736 249 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601750 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28007/statm: 1591 249 117 226 0 1362 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 6364 Sending SIGTERM to -28007 Sleeping 2 seconds Child status: 0 Real time (s): 1801.18 CPU time (s): 1800.66 CPU user time (s): 1800.6 CPU system time (s): 0.058991 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (Kb): 6364
Begin job on node47 on Sat Jun 3 20:56:20 UTC 2006 FILE ID= 31880-1149368180 PBS_JOBID= 311955 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node47/31880-1149368180/instance-31880-1149368180.opb 234901011 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-31880-1149368180 -o ROOT/results/node47/solver-31880-1149368180 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node47/31880-1149368180/instance-31880-1149368180.opb 234901011 MD5SUM SOLVER= 433c0d3a0d963188fa818d869a2c809a MD5SUM BENCH= 8d2c17131f0dd6c2b5d472cf1eef4c89 RANDOM SEED= 234901011 /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.236 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.236 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: 1547944 kB Buffers: 16504 kB Cached: 431780 kB SwapCached: 3100 kB Active: 48440 kB Inactive: 408352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1547944 kB SwapTotal: 4192956 kB SwapFree: 4183692 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14568 kB Slab: 37232 kB Committed_AS: 360928 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node47 on Sat Jun 3 21:26:21 UTC 2006