Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -10 | 1782.88 | 1783.36 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb |
MD5SUM | dc857dc123c51e1f53f981679774fda8 |
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.07 |
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 | 80072 |
Number of constraints which are clauses | 80072 |
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/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.89/0.93 c starting to Solve 0.89/0.93 c #variables read: 1150 - #constraints read: 80073 0.89/0.93 o 0 0.89/0.93 o 1 0.89/0.93 o 2 1.29/1.34 o 3 3.79/3.81 o 4 6.49/6.59 o 5 17.88/17.98 o 6 28.49/28.56 o 7 297.30/297.46 o 8 908.84/909.14 o 9 1775.52/1776.07 o 10 1782.71/1783.26 c total time : 1783.04 s 1782.71/1783.26 s SATISFIABLE 1782.71/1783.26 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 1782.71/1783.26 v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 1782.71/1783.26 v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 1782.71/1783.26 v -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 1782.71/1783.26 v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 1782.71/1783.26 v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 1782.71/1783.26 v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 1782.71/1783.26 v -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 1782.71/1783.26 v -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 1782.71/1783.26 v -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 1782.71/1783.26 v -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 1782.71/1783.26 v -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 1782.71/1783.26 v -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 1782.71/1783.26 v -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 1782.71/1783.26 v -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 1782.71/1783.26 v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 1782.71/1783.26 v -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 1782.71/1783.26 v -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 1782.71/1783.26 v -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 1782.71/1783.26 v -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 1782.71/1783.26 v -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 1782.71/1783.26 v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 1782.71/1783.26 v -x723 -x722 -x721 -x720 x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 1782.71/1783.26 v -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 1782.71/1783.26 v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 1782.71/1783.26 v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 1782.71/1783.26 v -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 1782.71/1783.26 v -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 1782.71/1783.26 v -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 1782.71/1783.26 v -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 1782.71/1783.26 v -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 1782.71/1783.26 v -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 1782.71/1783.26 v -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 1782.71/1783.26 v -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 1782.71/1783.26 v -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 1782.71/1783.26 v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 1782.71/1783.26 v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 1782.71/1783.26 v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 1782.71/1783.26 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 1782.71/1783.26 v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 1782.71/1783.26 v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 1782.71/1783.26 v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 1782.71/1783.26 v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 1782.71/1783.26 v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 1782.71/1783.26 v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 1782.71/1783.26 v -x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 1782.71/1783.26 v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 1782.71/1783.26 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 1782.71/1783.26 v -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 1782.71/1783.26 v -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 1782.71/1783.26 v -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 1782.71/1783.26 v -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 1782.71/1783.26 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 1782.71/1783.26 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 1782.71/1783.26 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 1782.71/1783.26 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
OK -10
/tmp/evaluation/353672-1176672509/instance-353672-1176672509.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-353672-1176672509 -o ROOT/results/node5/solver-353672-1176672509 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353672-1176672509/instance-353672-1176672509.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.05 1.18 1.18 3/77 344 /proc/meminfo: memFree=1819016/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=2552 CPUtime=0 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 143288571 2613248 230 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8359639 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 638 230 193 16 0 77 0 [startup+0.0428981 s] /proc/loadavg: 1.05 1.18 1.18 3/77 344 /proc/meminfo: memFree=1819016/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=3084 CPUtime=0.03 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 416 0 0 0 3 0 0 0 18 0 1 0 143288571 3158016 386 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8359639 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 771 386 199 16 0 210 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3084 [startup+0.101898 s] /proc/loadavg: 1.05 1.18 1.18 3/77 344 /proc/meminfo: memFree=1819016/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=3884 CPUtime=0.09 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 620 0 0 0 9 0 0 0 18 0 1 0 143288571 3977216 590 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8359639 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 971 590 199 16 0 410 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3884 [startup+0.301922 s] /proc/loadavg: 1.05 1.18 1.18 3/77 344 /proc/meminfo: memFree=1819016/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=6680 CPUtime=0.29 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 1306 0 0 0 29 0 0 0 19 0 1 0 143288571 6840320 1276 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8359639 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 1670 1276 199 16 0 1109 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6680 [startup+0.701967 s] /proc/loadavg: 1.05 1.18 1.18 3/77 344 /proc/meminfo: memFree=1819016/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=12312 CPUtime=0.69 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 2702 0 0 0 68 1 0 0 23 0 1 0 143288571 12607488 2672 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134521840 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 3078 2672 202 16 0 2517 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12312 [startup+1.50106 s] /proc/loadavg: 1.05 1.18 1.18 2/78 345 /proc/meminfo: memFree=1807744/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=13796 CPUtime=1.49 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 3031 0 0 0 148 1 0 0 25 0 1 0 143288571 14127104 3001 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519100 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 3449 3001 205 16 0 2888 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13796 [startup+3.10124 s] /proc/loadavg: 1.05 1.18 1.18 2/78 345 /proc/meminfo: memFree=1807616/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=13796 CPUtime=3.09 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 3031 0 0 0 308 1 0 0 25 0 1 0 143288571 14127104 3001 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 3449 3001 205 16 0 2888 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13796 [startup+6.3016 s] /proc/loadavg: 1.04 1.18 1.18 2/78 345 /proc/meminfo: memFree=1807168/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=15196 CPUtime=6.29 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 3391 0 0 0 628 1 0 0 25 0 1 0 143288571 15560704 3361 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 3799 3361 205 16 0 3238 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15196 [startup+12.7013 s] /proc/loadavg: 1.04 1.18 1.18 2/78 345 /proc/meminfo: memFree=1800128/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=22092 CPUtime=12.69 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 5121 0 0 0 1267 2 0 0 25 0 1 0 143288571 22622208 5091 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523628 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 5523 5091 205 16 0 4962 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22092 [startup+25.5018 s] /proc/loadavg: 1.03 1.17 1.18 2/78 345 /proc/meminfo: memFree=1785408/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=36612 CPUtime=25.48 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 8717 0 0 0 2544 4 0 0 25 0 1 0 143288571 37490688 8687 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 9153 8687 205 16 0 8592 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 36612 [startup+51.1017 s] /proc/loadavg: 1.02 1.15 1.17 2/78 345 /proc/meminfo: memFree=1760448/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=61660 CPUtime=51.07 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 14975 0 0 0 5100 7 0 0 25 0 1 0 143288571 63139840 14945 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 15415 14945 205 16 0 14854 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 61660 [startup+102.305 s] /proc/loadavg: 1.01 1.13 1.16 2/78 345 /proc/meminfo: memFree=1716544/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=105336 CPUtime=102.26 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 25859 0 0 0 10213 13 0 0 25 0 1 0 143288571 107864064 25829 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532913 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 26334 25829 205 16 0 25773 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 105336 [startup+162.301 s] /proc/loadavg: 1.00 1.10 1.15 2/78 347 /proc/meminfo: memFree=1676096/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=145584 CPUtime=162.24 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 35894 0 0 0 16205 19 0 0 25 0 1 0 143288571 149078016 35864 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 36396 35864 205 16 0 35835 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 145584 [startup+222.301 s] /proc/loadavg: 1.00 1.08 1.14 2/78 347 /proc/meminfo: memFree=1641216/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=180828 CPUtime=222.22 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 44672 0 0 0 22199 23 0 0 25 0 1 0 143288571 185167872 44642 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532733 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 45207 44642 205 16 0 44646 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 180828 [startup+282.302 s] /proc/loadavg: 1.06 1.08 1.13 2/78 347 /proc/meminfo: memFree=1598528/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=224708 CPUtime=282.21 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 55561 0 0 0 28192 29 0 0 25 0 1 0 143288571 230100992 55531 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 56177 55531 205 16 0 55616 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 224708 [startup+342.302 s] /proc/loadavg: 1.02 1.06 1.12 2/78 347 /proc/meminfo: memFree=1554688/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=267976 CPUtime=342.2 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 66334 0 0 0 34184 36 0 0 25 0 1 0 143288571 274407424 66304 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 66994 66304 205 16 0 66433 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 267976 [startup+402.301 s] /proc/loadavg: 1.00 1.05 1.11 2/78 347 /proc/meminfo: memFree=1519296/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=304328 CPUtime=402.18 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 75314 0 0 0 40178 40 0 0 25 0 1 0 143288571 311631872 75284 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 76082 75284 205 16 0 75521 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 304328 [startup+462.301 s] /proc/loadavg: 1.00 1.04 1.10 2/78 347 /proc/meminfo: memFree=1479296/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=344040 CPUtime=462.16 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 85220 0 0 0 46169 47 0 0 25 0 1 0 143288571 352296960 85190 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 86010 85190 205 16 0 85449 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 344040 [startup+522.302 s] /proc/loadavg: 1.00 1.03 1.09 2/78 347 /proc/meminfo: memFree=1439296/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=385176 CPUtime=522.15 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 95326 0 0 0 52161 54 0 0 25 0 1 0 143288571 394420224 95296 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522742 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 96294 95296 206 16 0 95733 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 385176 [startup+582.302 s] /proc/loadavg: 1.00 1.02 1.08 2/78 347 /proc/meminfo: memFree=1392256/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=431928 CPUtime=582.14 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 106873 0 0 0 58152 62 0 0 25 0 1 0 143288571 442294272 106843 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 107982 106843 206 16 0 107421 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 431928 [startup+642.302 s] /proc/loadavg: 1.00 1.02 1.08 2/78 347 /proc/meminfo: memFree=1347776/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=475716 CPUtime=642.12 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 117809 0 0 0 64144 68 0 0 25 0 1 0 143288571 487133184 117771 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134556411 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 118929 117771 206 16 0 118368 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 475716 ################ # More data... # ################ /proc/meminfo: memFree=1238464/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=585672 CPUtime=822.07 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 145151 0 0 0 82121 86 0 0 25 0 1 0 143288571 599728128 145113 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520070 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 146418 145113 206 16 0 145857 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 585672 [startup+882.302 s] /proc/loadavg: 1.02 1.01 1.06 2/78 347 /proc/meminfo: memFree=1227712/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=595860 CPUtime=882.06 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147716 0 0 0 88118 88 0 0 25 0 1 0 143288571 610160640 147678 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 148965 147678 206 16 0 148404 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 595860 [startup+942.302 s] /proc/loadavg: 1.01 1.00 1.05 2/78 347 /proc/meminfo: memFree=1227648/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=595860 CPUtime=942.04 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147716 0 0 0 94115 89 0 0 25 0 1 0 143288571 610160640 147678 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134529033 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 148965 147678 206 16 0 148404 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 595860 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.05 2/78 347 /proc/meminfo: memFree=1227584/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=595860 CPUtime=1002.02 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147716 0 0 0 100111 91 0 0 25 0 1 0 143288571 610160640 147678 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134556363 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 148965 147678 206 16 0 148404 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 595860 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.04 2/78 347 /proc/meminfo: memFree=1227648/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=595860 CPUtime=1062 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147716 0 0 0 106108 92 0 0 25 0 1 0 143288571 610160640 147678 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 148965 147678 206 16 0 148404 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 595860 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.03 2/78 347 /proc/meminfo: memFree=1227520/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=595860 CPUtime=1121.99 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147731 0 0 0 112106 93 0 0 25 0 1 0 143288571 610160640 147693 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 148965 147693 206 16 0 148404 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 595860 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.03 2/78 347 /proc/meminfo: memFree=1227520/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=595860 CPUtime=1181.97 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147747 0 0 0 118102 95 0 0 25 0 1 0 143288571 610160640 147709 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522744 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 148965 147709 206 16 0 148404 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 595860 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.02 2/78 347 /proc/meminfo: memFree=1227456/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=595860 CPUtime=1241.96 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147748 0 0 0 124100 96 0 0 25 0 1 0 143288571 610160640 147710 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 148965 147710 206 16 0 148404 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 595860 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.02 2/78 347 /proc/meminfo: memFree=1227392/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=595860 CPUtime=1301.95 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147748 0 0 0 130097 98 0 0 25 0 1 0 143288571 610160640 147710 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 148965 147710 206 16 0 148404 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 595860 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.01 3/78 347 /proc/meminfo: memFree=1227392/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=595860 CPUtime=1361.92 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147748 0 0 0 136093 99 0 0 25 0 1 0 143288571 610160640 147710 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528669 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 148965 147710 206 16 0 148404 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 595860 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.01 2/78 347 /proc/meminfo: memFree=1227392/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=595860 CPUtime=1421.91 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147748 0 0 0 142091 100 0 0 25 0 1 0 143288571 610160640 147710 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523647 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 148965 147710 206 16 0 148404 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 595860 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 347 /proc/meminfo: memFree=1227392/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=595860 CPUtime=1481.89 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147748 0 0 0 148088 101 0 0 25 0 1 0 143288571 610160640 147710 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8327519 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 148965 147710 206 16 0 148404 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 595860 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 347 /proc/meminfo: memFree=1227328/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=595860 CPUtime=1541.88 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147748 0 0 0 154085 103 0 0 25 0 1 0 143288571 610160640 147710 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134524571 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 148965 147710 206 16 0 148404 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 595860 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 347 /proc/meminfo: memFree=1227328/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=595860 CPUtime=1601.86 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147750 0 0 0 160082 104 0 0 25 0 1 0 143288571 610160640 147712 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 148965 147712 206 16 0 148404 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 595860 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 347 /proc/meminfo: memFree=1198592/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=624684 CPUtime=1661.85 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 154951 0 0 0 166075 110 0 0 25 0 1 0 143288571 639676416 154913 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8328827 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 156171 154913 206 16 0 155610 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 624684 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 347 /proc/meminfo: memFree=1185984/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=637256 CPUtime=1721.83 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 158054 0 0 0 172071 112 0 0 25 0 1 0 143288571 652550144 158016 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519100 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 159314 158016 206 16 0 158753 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 637256 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 347 /proc/meminfo: memFree=1185920/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=637256 CPUtime=1781.81 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 158055 0 0 0 178068 113 0 0 25 0 1 0 143288571 652550144 158017 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 159314 158017 206 16 0 158753 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 637256 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/78 347 /proc/meminfo: memFree=1185920/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=637256 CPUtime=1782.62 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 158055 0 0 0 178149 113 0 0 25 0 1 0 143288571 652550144 158017 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523691 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 159314 158017 206 16 0 158753 0 Current children cumulated CPU time (s) 1782.62 Current children cumulated vsize (KiB) 637256 [startup+1783.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 347 /proc/meminfo: memFree=1185920/2055920 swapFree=4158712/4192956 [pid=344] ppid=342 vsize=0 CPUtime=1782.81 /proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194308 158062 0 0 0 178164 117 0 0 25 0 1 0 143288571 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/344/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1782.81 Current children cumulated vsize (KiB) 0 Child status: 10 Real time (s): 1783.36 CPU time (s): 1782.88 CPU user time (s): 1781.65 CPU system time (s): 1.23581 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 637256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.65 system time used= 1.23581 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 158062 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13 involuntary context switches= 37472 runsolver used 2.17467 second user time and 4.10338 second system time The end
Begin job on node5 on Sun Apr 15 21:28:29 UTC 2007 IDJOB= 353672 IDBENCH= 2260 IDSOLVER= 165 FILE ID= node5/353672-1176672509 PBS_JOBID= 4559374 Free space on /tmp= 66552 MiB SOLVER NAME= Pueblo 1.4 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-1.opb COMMAND LINE= Pueblo /tmp/evaluation/353672-1176672509/instance-353672-1176672509.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node5/convwatcher-353672-1176672509 -o ROOT/results/node5/conversion-353672-1176672509 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353672-1176672509/instance-353672-1176672509.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-353672-1176672509 -o ROOT/results/node5/solver-353672-1176672509 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353672-1176672509/instance-353672-1176672509.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= dc857dc123c51e1f53f981679774fda8 RANDOM SEED= 458731097 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1819424 kB Buffers: 81128 kB Cached: 73908 kB SwapCached: 2316 kB Active: 110548 kB Inactive: 72952 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1819424 kB SwapTotal: 4192956 kB SwapFree: 4158712 kB Dirty: 4328 kB Writeback: 0 kB Mapped: 34480 kB Slab: 38576 kB Committed_AS: 8535060 kB PageTables: 1736 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66552 MiB End job on node5 on Sun Apr 15 21:58:13 UTC 2007