Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | -6 | 1783.14 | 1783.59 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb |
MD5SUM | 1925793f412227c60146f261684ef7c1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -51 |
Best CPU time to get the best result obtained on this benchmark | 1800.64 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -52 |
Optimality of the best value was proved | NO |
Number of variables | 1272 |
Total number of constraints | 94127 |
Number of constraints which are clauses | 94127 |
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 | 1272 |
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 | 1272 |
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 | 1272 |
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 1.10 c starting to Solve 1.10 c #variables read: 1272 - #constraints read: 94128 1.10 o 0 1.10 o 1 1.11 o 2 1.14 o 3 1.96 o 4 8.02 o 5 63.77 o 6 1783.39 c total time : 1783.21 s 1783.39 s SATISFIABLE 1783.39 v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 1783.39 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 1783.39 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 1783.39 v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 1783.39 v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 1783.39 v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 1783.39 v -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 1783.39 v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 1783.39 v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 1783.39 v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 1783.39 v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 1783.39 v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 1783.39 v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 1783.39 v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 1783.39 v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 1783.39 v -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 1783.39 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 1783.39 v -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 1783.39 v -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 1783.39 v -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 1783.39 v -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 1783.39 v -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 1783.39 v -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856 -x855 1783.39 v -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 x837 -x836 -x835 -x834 1783.39 v -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 x815 -x814 -x813 1783.39 v -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 1783.39 v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 1783.39 v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 1783.39 v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 1783.39 v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 1783.39 v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 1783.39 v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 1783.39 v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 1783.39 v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 1783.39 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 1783.39 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 1783.39 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 1783.39 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 1783.39 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 1783.39 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 1783.39 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 1783.39 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 1783.39 v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 1783.39 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 1783.39 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 1783.39 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 1783.39 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 1783.39 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 1783.39 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 1783.39 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 1783.39 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 1783.39 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 1783.39 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 1783.39 v -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 1783.39 v -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 1783.39 v -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 1783.39 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 1783.39 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 1783.39 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 1783.39 v -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 1783.39 v -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 1783.39 v -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 1783.39 v -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1
OK -6
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-38203-1149296593 -o ROOT/results/node61/solver-38203-1149296593 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node61/38203-1149296593/instance-38203-1149296593.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.95 2/64 2458 /proc/meminfo: memFree=1565216/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=2328 CPUtime=0 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 108 0 0 0 0 0 0 0 18 0 1 0 195327199 2383872 91 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10387544 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 582 103 89 16 0 11 0 [startup+10.0019 s] /proc/loadavg: 0.93 0.98 0.95 2/64 2458 /proc/meminfo: memFree=1490736/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=78092 CPUtime=9.99 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 18850 0 0 0 989 10 0 0 25 0 1 0 195327199 79966208 18821 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10822605 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 19523 18821 206 16 0 18964 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 78092 [startup+20.0079 s] /proc/loadavg: 0.94 0.98 0.95 2/64 2458 /proc/meminfo: memFree=1429360/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=139764 CPUtime=20 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 34194 0 0 0 1982 18 0 0 25 0 1 0 195327199 143118336 34165 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 34941 34165 206 16 0 34382 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 139764 [startup+30.0218 s] /proc/loadavg: 0.95 0.98 0.95 3/64 2458 /proc/meminfo: memFree=1390256/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=178820 CPUtime=30.01 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 43956 0 0 0 2978 23 0 0 25 0 1 0 195327199 183111680 43927 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 44705 43927 206 16 0 44146 0 Current children cumulated CPU time (s) 30.01 Current children cumulated vsize (Kb) 178820 [startup+40.0278 s] /proc/loadavg: 0.96 0.98 0.95 2/64 2458 /proc/meminfo: memFree=1359664/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=209888 CPUtime=40.01 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 51602 0 0 0 3973 28 0 0 25 0 1 0 195327199 214925312 51573 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 52472 51573 206 16 0 51913 0 Current children cumulated CPU time (s) 40.01 Current children cumulated vsize (Kb) 209888 [startup+50.0348 s] /proc/loadavg: 0.96 0.98 0.95 2/64 2458 /proc/meminfo: memFree=1327408/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=242428 CPUtime=50.02 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 59660 0 0 0 4968 34 0 0 25 0 1 0 195327199 248246272 59631 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 60607 59631 206 16 0 60048 0 Current children cumulated CPU time (s) 50.02 Current children cumulated vsize (Kb) 242428 [startup+60.0408 s] /proc/loadavg: 0.97 0.98 0.95 2/64 2458 /proc/meminfo: memFree=1293552/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=276612 CPUtime=60.02 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 68112 0 0 0 5963 39 0 0 25 0 1 0 195327199 283250688 68083 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520229 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 69153 68083 206 16 0 68594 0 Current children cumulated CPU time (s) 60.02 Current children cumulated vsize (Kb) 276612 [startup+70.0467 s] /proc/loadavg: 0.97 0.98 0.95 2/64 2458 /proc/meminfo: memFree=1231344/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=338672 CPUtime=70.02 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 83625 0 0 0 6956 46 0 0 25 0 1 0 195327199 346800128 83596 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 84668 83596 206 16 0 84109 0 Current children cumulated CPU time (s) 70.02 Current children cumulated vsize (Kb) 338672 [startup+80.0527 s] /proc/loadavg: 0.98 0.98 0.95 3/64 2458 /proc/meminfo: memFree=1174192/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=396440 CPUtime=80.02 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 97913 0 0 0 7948 54 0 0 25 0 1 0 195327199 405954560 97852 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 99110 97852 206 16 0 98551 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 396440 [startup+90.0587 s] /proc/loadavg: 0.98 0.98 0.95 2/64 2458 /proc/meminfo: memFree=1139952/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=430968 CPUtime=90.02 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 106448 0 0 0 8944 58 0 0 25 0 1 0 195327199 441311232 106387 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 107742 106387 206 16 0 107183 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 430968 [startup+100.065 s] /proc/loadavg: 0.98 0.98 0.95 2/64 2458 /proc/meminfo: memFree=1088944/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=482180 CPUtime=100.03 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 119245 0 0 0 9938 65 0 0 25 0 1 0 195327199 493752320 119120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 120545 119120 206 16 0 119986 0 Current children cumulated CPU time (s) 100.03 Current children cumulated vsize (Kb) 482180 [startup+110.072 s] /proc/loadavg: 0.98 0.98 0.95 2/64 2458 /proc/meminfo: memFree=1042416/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=528808 CPUtime=110.03 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 130918 0 0 0 10933 70 0 0 25 0 1 0 195327199 541499392 130729 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 132202 130729 206 16 0 131643 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 528808 [startup+120.078 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=995760/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=575428 CPUtime=120.03 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 142603 0 0 0 11926 77 0 0 25 0 1 0 195327199 589238272 142383 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 143857 142383 206 16 0 143298 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 575428 [startup+130.084 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=947184/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=623972 CPUtime=130.04 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 154712 0 0 0 12921 83 0 0 25 0 1 0 195327199 638947328 154492 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 155993 154492 206 16 0 155434 0 Current children cumulated CPU time (s) 130.04 Current children cumulated vsize (Kb) 623972 [startup+140.09 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=931440/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=639752 CPUtime=140.04 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 158650 0 0 0 13918 86 0 0 25 0 1 0 195327199 655106048 158430 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 159938 158430 206 16 0 159379 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 639752 [startup+150.095 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=916720/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=654352 CPUtime=150.04 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 162319 0 0 0 14916 88 0 0 25 0 1 0 195327199 670056448 162099 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10819195 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 163588 162099 206 16 0 163029 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 654352 [startup+160.101 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=890672/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=680908 CPUtime=160.05 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 168806 0 0 0 15913 92 0 0 25 0 1 0 195327199 697249792 168586 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520161 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 170227 168586 206 16 0 169668 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 680908 [startup+170.108 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=887408/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=684620 CPUtime=170.06 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 169619 0 0 0 16913 93 0 0 25 0 1 0 195327199 701050880 169399 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516722 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 171155 169399 206 16 0 170596 0 Current children cumulated CPU time (s) 170.06 Current children cumulated vsize (Kb) 684620 [startup+180.114 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=887408/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=684620 CPUtime=180.06 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 169619 0 0 0 17912 94 0 0 25 0 1 0 195327199 701050880 169399 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 171155 169399 206 16 0 170596 0 Current children cumulated CPU time (s) 180.06 Current children cumulated vsize (Kb) 684620 [startup+190.12 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=887408/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=684620 CPUtime=190.06 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 169619 0 0 0 18911 95 0 0 25 0 1 0 195327199 701050880 169399 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 171155 169399 206 16 0 170596 0 Current children cumulated CPU time (s) 190.06 Current children cumulated vsize (Kb) 684620 [startup+200.126 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=887408/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=684620 CPUtime=200.07 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 169619 0 0 0 19911 96 0 0 25 0 1 0 195327199 701050880 169399 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 171155 169399 206 16 0 170596 0 Current children cumulated CPU time (s) 200.07 Current children cumulated vsize (Kb) 684620 [startup+210.132 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=887472/2055920 swapFree=4180908/4192956 ################ # More data... # ################ /proc/2458/statm: 302647 300827 206 16 0 302088 0 Current children cumulated CPU time (s) 1590.54 Current children cumulated vsize (Kb) 1210588 [startup+1600.95 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=360688/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=1210588 CPUtime=1600.55 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 159803 252 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 302647 300827 206 16 0 302088 0 Current children cumulated CPU time (s) 1600.55 Current children cumulated vsize (Kb) 1210588 [startup+1610.96 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=360688/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=1210588 CPUtime=1610.54 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 160802 252 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 302647 300827 206 16 0 302088 0 Current children cumulated CPU time (s) 1610.54 Current children cumulated vsize (Kb) 1210588 [startup+1620.96 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=360688/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=1210588 CPUtime=1620.56 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 161803 253 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557243 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 302647 300827 206 16 0 302088 0 Current children cumulated CPU time (s) 1620.56 Current children cumulated vsize (Kb) 1210588 [startup+1630.97 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=360688/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=1210588 CPUtime=1630.55 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 162802 253 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527934 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 302647 300827 206 16 0 302088 0 Current children cumulated CPU time (s) 1630.55 Current children cumulated vsize (Kb) 1210588 [startup+1640.98 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=360688/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=1210588 CPUtime=1640.55 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 163802 253 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 302647 300827 206 16 0 302088 0 Current children cumulated CPU time (s) 1640.55 Current children cumulated vsize (Kb) 1210588 [startup+1650.98 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=360688/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=1210588 CPUtime=1650.56 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 164802 254 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 302647 300827 206 16 0 302088 0 Current children cumulated CPU time (s) 1650.56 Current children cumulated vsize (Kb) 1210588 [startup+1660.99 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=1210588 CPUtime=1660.57 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 165802 255 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 302647 300827 206 16 0 302088 0 Current children cumulated CPU time (s) 1660.57 Current children cumulated vsize (Kb) 1210588 [startup+1670.99 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=1210588 CPUtime=1670.57 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 166801 256 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 302647 300827 206 16 0 302088 0 Current children cumulated CPU time (s) 1670.57 Current children cumulated vsize (Kb) 1210588 [startup+1681 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=1210588 CPUtime=1680.57 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 167801 256 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 302647 300827 206 16 0 302088 0 Current children cumulated CPU time (s) 1680.57 Current children cumulated vsize (Kb) 1210588 [startup+1691 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=1210588 CPUtime=1690.57 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 168801 256 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517790 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 302647 300827 206 16 0 302088 0 Current children cumulated CPU time (s) 1690.57 Current children cumulated vsize (Kb) 1210588 [startup+1701.01 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=1210588 CPUtime=1700.58 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 169801 257 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 302647 300827 206 16 0 302088 0 Current children cumulated CPU time (s) 1700.58 Current children cumulated vsize (Kb) 1210588 [startup+1711.02 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=360688/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=1210588 CPUtime=1710.58 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 170801 257 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 302647 300827 206 16 0 302088 0 Current children cumulated CPU time (s) 1710.58 Current children cumulated vsize (Kb) 1210588 [startup+1721.02 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=360688/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=1210588 CPUtime=1720.58 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 171801 257 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519989 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 302647 300827 206 16 0 302088 0 Current children cumulated CPU time (s) 1720.58 Current children cumulated vsize (Kb) 1210588 [startup+1731.03 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=1210588 CPUtime=1730.59 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 172801 258 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 302647 300827 206 16 0 302088 0 Current children cumulated CPU time (s) 1730.59 Current children cumulated vsize (Kb) 1210588 [startup+1741.03 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=1210588 CPUtime=1740.59 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 173801 258 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517594 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 302647 300827 206 16 0 302088 0 Current children cumulated CPU time (s) 1740.59 Current children cumulated vsize (Kb) 1210588 [startup+1751.04 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=1210588 CPUtime=1750.59 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 174801 258 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 302647 300827 206 16 0 302088 0 Current children cumulated CPU time (s) 1750.59 Current children cumulated vsize (Kb) 1210588 [startup+1761.05 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=1210588 CPUtime=1760.6 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 175801 259 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528672 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 302647 300827 206 16 0 302088 0 Current children cumulated CPU time (s) 1760.6 Current children cumulated vsize (Kb) 1210588 [startup+1771.05 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=1210588 CPUtime=1770.6 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 176801 259 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 302647 300827 206 16 0 302088 0 Current children cumulated CPU time (s) 1770.6 Current children cumulated vsize (Kb) 1210588 [startup+1781.06 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=1210588 CPUtime=1780.6 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301114 0 0 0 177801 259 0 0 25 0 1 0 195327199 1239642112 300830 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 302647 300830 206 16 0 302088 0 Current children cumulated CPU time (s) 1780.6 Current children cumulated vsize (Kb) 1210588 [startup+1782.06 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=1210588 CPUtime=1781.61 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301114 0 0 0 177902 259 0 0 25 0 1 0 195327199 1239642112 300830 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520078 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 302647 300830 206 16 0 302088 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (Kb) 1210588 [startup+1783.07 s] /proc/loadavg: 0.99 0.98 0.95 2/64 2458 /proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956 [pid=2458] ppid=2456 vsize=1210588 CPUtime=1782.61 /proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301114 0 0 0 178002 259 0 0 25 0 1 0 195327199 1239642112 300830 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/2458/statm: 302647 300830 206 16 0 302088 0 Current children cumulated CPU time (s) 1782.61 Current children cumulated vsize (Kb) 1210588 Child status: 10 Real time (s): 1783.59 CPU time (s): 1783.14 CPU user time (s): 1780.36 CPU system time (s): 2.78558 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (Kb): 1210588
Begin job on node61 on Sat Jun 3 01:03:13 UTC 2006 FILE ID= 38203-1149296593 PBS_JOBID= 307152 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node61/38203-1149296593/instance-38203-1149296593.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-38203-1149296593 -o ROOT/results/node61/solver-38203-1149296593 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node61/38203-1149296593/instance-38203-1149296593.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 1925793f412227c60146f261684ef7c1 RANDOM SEED= 700591557 /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: 1565424 kB Buffers: 35736 kB Cached: 382120 kB SwapCached: 3880 kB Active: 34336 kB Inactive: 392328 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1565424 kB SwapTotal: 4192956 kB SwapFree: 4180908 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14724 kB Slab: 49912 kB Committed_AS: 317580 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node61 on Sat Jun 3 01:32:57 UTC 2006