Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | -7 | 1782.92 | 1783.37 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb |
MD5SUM | 604c6b786f56b09c749bc0d6b7c8f76d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -52 |
Best CPU time to get the best result obtained on this benchmark | 1800.53 |
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 | 94227 |
Number of constraints which are clauses | 94227 |
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.11 c starting to Solve 1.11 c #variables read: 1272 - #constraints read: 94228 1.11 o 0 1.11 o 1 1.12 o 2 1.15 o 3 1.96 o 4 5.84 o 5 62.92 o 6 714.38 o 7 1783.18 c total time : 1783 s 1783.18 s SATISFIABLE 1783.18 v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 1783.18 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 1783.18 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 1783.18 v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 1783.18 v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 1783.18 v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 1783.18 v -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 1783.18 v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 1783.18 v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 1783.18 v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 1783.18 v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 1783.18 v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 1783.18 v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 1783.18 v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 1783.18 v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 1783.18 v -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 1783.18 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 1783.18 v -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 1783.18 v -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 1783.18 v -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 1783.18 v -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 1783.18 v -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 1783.18 v -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 x865 -x864 x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 1783.18 v -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 x840 -x839 -x838 -x837 -x836 -x835 -x834 1783.18 v -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 1783.18 v -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 x798 -x797 -x796 -x795 -x794 -x793 -x792 1783.18 v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 1783.18 v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 1783.18 v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 1783.18 v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 1783.18 v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 1783.18 v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 1783.18 v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 1783.18 v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 1783.18 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 1783.18 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 1783.18 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 1783.18 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 1783.18 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 1783.18 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 1783.18 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 1783.18 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 1783.18 v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 1783.18 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 x419 -x418 -x417 -x416 -x415 -x414 1783.18 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 1783.18 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 1783.18 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 1783.18 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 1783.18 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 1783.18 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 1783.18 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 1783.18 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 1783.18 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 1783.18 v -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 1783.18 v -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 1783.18 v -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 1783.18 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 1783.18 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 1783.18 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 1783.18 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.18 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.18 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.18 v -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -7
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/node4/watcher-38207-1149298225 -o ROOT/results/node4/solver-38207-1149298225 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node4/38207-1149298225/instance-38207-1149298225.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1788512/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=2408 CPUtime=0 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 233 0 0 0 0 0 0 0 18 0 1 0 195484421 2465792 204 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11405312 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 635 213 187 16 0 76 0 [startup+10.0024 s] /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1714024/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=76996 CPUtime=9.99 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 18834 0 0 0 990 9 0 0 25 0 1 0 195484421 78843904 18806 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 19249 18806 206 16 0 18690 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 76996 [startup+20.0083 s] /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1652712/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=138576 CPUtime=19.99 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 34158 0 0 0 1983 16 0 0 25 0 1 0 195484421 141901824 34129 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 34644 34129 206 16 0 34085 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 138576 [startup+30.0143 s] /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1602536/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=188976 CPUtime=30 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 46686 0 0 0 2977 23 0 0 25 0 1 0 195484421 193511424 46657 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 47244 46657 206 16 0 46685 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 188976 [startup+40.0203 s] /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1558696/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=232996 CPUtime=40.01 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 57627 0 0 0 3972 29 0 0 25 0 1 0 195484421 238587904 57598 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 58249 57598 206 16 0 57690 0 Current children cumulated CPU time (s) 40.01 Current children cumulated vsize (Kb) 232996 [startup+50.0262 s] /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1525288/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=266700 CPUtime=50.01 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 65970 0 0 0 4967 34 0 0 25 0 1 0 195484421 273100800 65941 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 66675 65941 206 16 0 66116 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 266700 [startup+60.0322 s] /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1493928/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=298112 CPUtime=60.01 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 73788 0 0 0 5962 39 0 0 25 0 1 0 195484421 305266688 73759 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11027405 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 74528 73759 206 16 0 73969 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 298112 [startup+70.0392 s] /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1457960/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=333984 CPUtime=70.02 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 82775 0 0 0 6958 44 0 0 25 0 1 0 195484421 341999616 82746 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 83496 82746 206 16 0 82937 0 Current children cumulated CPU time (s) 70.02 Current children cumulated vsize (Kb) 333984 [startup+80.0451 s] /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1396904/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=395200 CPUtime=80.01 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 98000 0 0 0 7951 50 0 0 25 0 1 0 195484421 404684800 97971 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 98800 97971 206 16 0 98241 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 395200 [startup+90.0511 s] /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1344744/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=447600 CPUtime=90.02 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 111013 0 0 0 8944 58 0 0 25 0 1 0 195484421 458342400 110984 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 111900 110984 206 16 0 111341 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 447600 [startup+100.057 s] /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1303080/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=489284 CPUtime=100.03 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 121415 0 0 0 9939 64 0 0 25 0 1 0 195484421 501026816 121386 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 122321 121386 206 16 0 121762 0 Current children cumulated CPU time (s) 100.03 Current children cumulated vsize (Kb) 489284 [startup+110.063 s] /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1265512/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=527048 CPUtime=110.03 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 130789 0 0 0 10934 69 0 0 25 0 1 0 195484421 539697152 130760 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 131762 130760 206 16 0 131203 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 527048 [startup+120.069 s] /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1237160/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=555200 CPUtime=120.03 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 137865 0 0 0 11930 73 0 0 25 0 1 0 195484421 568524800 137836 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 138800 137836 206 16 0 138241 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 555200 [startup+130.075 s] /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1214568/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=577744 CPUtime=130.03 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 143502 0 0 0 12927 76 0 0 25 0 1 0 195484421 591609856 143473 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 144436 143473 206 16 0 143877 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 577744 [startup+140.081 s] /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1193384/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=598800 CPUtime=140.03 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 148779 0 0 0 13924 79 0 0 25 0 1 0 195484421 613171200 148750 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 149700 148750 206 16 0 149141 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 598800 [startup+150.087 s] /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1169256/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=622904 CPUtime=150.04 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 154801 0 0 0 14921 83 0 0 25 0 1 0 195484421 637853696 154772 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 155726 154772 206 16 0 155167 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 622904 [startup+160.093 s] /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1144104/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=647988 CPUtime=160.04 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 161086 0 0 0 15917 87 0 0 25 0 1 0 195484421 663539712 161057 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11027405 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 161997 161057 206 16 0 161438 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 647988 [startup+170.099 s] /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1119016/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=673472 CPUtime=170.05 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 167346 0 0 0 16914 91 0 0 25 0 1 0 195484421 689635328 167317 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 168368 167317 206 16 0 167809 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 673472 [startup+180.105 s] /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1114728/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=677752 CPUtime=180.05 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 168402 0 0 0 17914 91 0 0 25 0 1 0 195484421 694018048 168373 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 169438 168373 206 16 0 168879 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 677752 [startup+190.111 s] /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1114728/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=677752 CPUtime=190.05 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 168402 0 0 0 18913 92 0 0 25 0 1 0 195484421 694018048 168373 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 169438 168373 206 16 0 168879 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 677752 [startup+200.117 s] /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1114728/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=677752 CPUtime=200.06 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 168402 0 0 0 19913 93 0 0 25 0 1 0 195484421 694018048 168373 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 169438 168373 206 16 0 168879 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 677752 [startup+210.123 s] /proc/loadavg: 0.99 1.00 0.99 2/64 8055 /proc/meminfo: memFree=1114728/2055920 swapFree=4181448/4192956 ################ # More data... # ################ /proc/8055/statm: 278853 277106 206 16 0 278294 0 Current children cumulated CPU time (s) 1590.53 Current children cumulated vsize (Kb) 1115412 [startup+1600.94 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8057 /proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=1115412 CPUtime=1600.54 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277167 0 0 0 159838 216 0 0 25 0 1 0 195484421 1142181888 277106 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11024076 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 278853 277106 206 16 0 278294 0 Current children cumulated CPU time (s) 1600.54 Current children cumulated vsize (Kb) 1115412 [startup+1610.95 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8057 /proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=1115412 CPUtime=1610.54 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277167 0 0 0 160838 216 0 0 25 0 1 0 195484421 1142181888 277106 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 278853 277106 206 16 0 278294 0 Current children cumulated CPU time (s) 1610.54 Current children cumulated vsize (Kb) 1115412 [startup+1620.96 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8057 /proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=1115412 CPUtime=1620.54 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277167 0 0 0 161838 216 0 0 25 0 1 0 195484421 1142181888 277106 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 278853 277106 206 16 0 278294 0 Current children cumulated CPU time (s) 1620.54 Current children cumulated vsize (Kb) 1115412 [startup+1630.96 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8057 /proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=1115412 CPUtime=1630.54 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277167 0 0 0 162838 216 0 0 25 0 1 0 195484421 1142181888 277106 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528554 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 278853 277106 206 16 0 278294 0 Current children cumulated CPU time (s) 1630.54 Current children cumulated vsize (Kb) 1115412 [startup+1640.97 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8057 /proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=1115412 CPUtime=1640.55 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277167 0 0 0 163839 216 0 0 25 0 1 0 195484421 1142181888 277106 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 278853 277106 206 16 0 278294 0 Current children cumulated CPU time (s) 1640.55 Current children cumulated vsize (Kb) 1115412 [startup+1650.97 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8057 /proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=1115412 CPUtime=1650.55 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277167 0 0 0 164838 217 0 0 25 0 1 0 195484421 1142181888 277106 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 278853 277106 206 16 0 278294 0 Current children cumulated CPU time (s) 1650.55 Current children cumulated vsize (Kb) 1115412 [startup+1660.98 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8057 /proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=1115412 CPUtime=1660.56 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277167 0 0 0 165839 217 0 0 25 0 1 0 195484421 1142181888 277106 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 278853 277106 206 16 0 278294 0 Current children cumulated CPU time (s) 1660.56 Current children cumulated vsize (Kb) 1115412 [startup+1670.99 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8057 /proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=1115412 CPUtime=1670.56 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277167 0 0 0 166839 217 0 0 25 0 1 0 195484421 1142181888 277106 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 278853 277106 206 16 0 278294 0 Current children cumulated CPU time (s) 1670.56 Current children cumulated vsize (Kb) 1115412 [startup+1680.99 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8057 /proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=1115412 CPUtime=1680.57 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277167 0 0 0 167839 218 0 0 25 0 1 0 195484421 1142181888 277106 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 278853 277106 206 16 0 278294 0 Current children cumulated CPU time (s) 1680.57 Current children cumulated vsize (Kb) 1115412 [startup+1691 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8057 /proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=1115412 CPUtime=1690.57 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277168 0 0 0 168839 218 0 0 25 0 1 0 195484421 1142181888 277107 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 278853 277107 206 16 0 278294 0 Current children cumulated CPU time (s) 1690.57 Current children cumulated vsize (Kb) 1115412 [startup+1701 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8057 /proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=1115412 CPUtime=1700.57 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277168 0 0 0 169839 218 0 0 25 0 1 0 195484421 1142181888 277107 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 278853 277107 206 16 0 278294 0 Current children cumulated CPU time (s) 1700.57 Current children cumulated vsize (Kb) 1115412 [startup+1711.01 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8057 /proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=1115412 CPUtime=1710.57 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277168 0 0 0 170839 218 0 0 25 0 1 0 195484421 1142181888 277107 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 278853 277107 206 16 0 278294 0 Current children cumulated CPU time (s) 1710.57 Current children cumulated vsize (Kb) 1115412 [startup+1721.02 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8057 /proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=1115412 CPUtime=1720.58 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277168 0 0 0 171839 219 0 0 25 0 1 0 195484421 1142181888 277107 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 278853 277107 206 16 0 278294 0 Current children cumulated CPU time (s) 1720.58 Current children cumulated vsize (Kb) 1115412 [startup+1731.02 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8057 /proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=1115412 CPUtime=1730.58 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277168 0 0 0 172839 219 0 0 25 0 1 0 195484421 1142181888 277107 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 278853 277107 206 16 0 278294 0 Current children cumulated CPU time (s) 1730.58 Current children cumulated vsize (Kb) 1115412 [startup+1741.03 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8057 /proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=1115412 CPUtime=1740.58 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277168 0 0 0 173839 219 0 0 25 0 1 0 195484421 1142181888 277107 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 278853 277107 206 16 0 278294 0 Current children cumulated CPU time (s) 1740.58 Current children cumulated vsize (Kb) 1115412 [startup+1751.03 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8057 /proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=1115412 CPUtime=1750.58 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277168 0 0 0 174839 219 0 0 25 0 1 0 195484421 1142181888 277107 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 278853 277107 206 16 0 278294 0 Current children cumulated CPU time (s) 1750.58 Current children cumulated vsize (Kb) 1115412 [startup+1761.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8057 /proc/meminfo: memFree=678576/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=1115412 CPUtime=1760.59 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277198 0 0 0 175839 220 0 0 25 0 1 0 195484421 1142181888 277137 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 278853 277137 206 16 0 278294 0 Current children cumulated CPU time (s) 1760.59 Current children cumulated vsize (Kb) 1115412 [startup+1771.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8057 /proc/meminfo: memFree=674608/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=1119444 CPUtime=1770.6 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 278187 0 0 0 176839 221 0 0 25 0 1 0 195484421 1146310656 278126 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 279861 278126 206 16 0 279302 0 Current children cumulated CPU time (s) 1770.6 Current children cumulated vsize (Kb) 1119444 [startup+1781.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8057 /proc/meminfo: memFree=658224/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=1135692 CPUtime=1780.6 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 282270 0 0 0 177836 224 0 0 25 0 1 0 195484421 1162948608 282209 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 283923 282209 206 16 0 283364 0 Current children cumulated CPU time (s) 1780.6 Current children cumulated vsize (Kb) 1135692 [startup+1782.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8057 /proc/meminfo: memFree=656432/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=1137528 CPUtime=1781.6 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 282729 0 0 0 177936 224 0 0 25 0 1 0 195484421 1164828672 282668 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 284382 282668 206 16 0 283823 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 1137528 [startup+1783.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8057 /proc/meminfo: memFree=653680/2055920 swapFree=4181448/4192956 [pid=8055] ppid=8053 vsize=1140224 CPUtime=1782.6 /proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 283402 0 0 0 178035 225 0 0 25 0 1 0 195484421 1167589376 283341 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134519949 0 0 4096 0 0 0 0 17 1 0 0 /proc/8055/statm: 285056 283341 206 16 0 284497 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (Kb) 1140224 Child status: 10 Real time (s): 1783.37 CPU time (s): 1782.92 CPU user time (s): 1780.48 CPU system time (s): 2.43463 CPU usage (%): 99.9749 Max. virtual memory (cumulated for all children) (Kb): 1140224
Begin job on node4 on Sat Jun 3 01:30:25 UTC 2006 FILE ID= 38207-1149298225 PBS_JOBID= 307207 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-1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node4/38207-1149298225/instance-38207-1149298225.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-38207-1149298225 -o ROOT/results/node4/solver-38207-1149298225 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node4/38207-1149298225/instance-38207-1149298225.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 604c6b786f56b09c749bc0d6b7c8f76d RANDOM SEED= 811513456 /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: 1788720 kB Buffers: 22164 kB Cached: 184828 kB SwapCached: 3264 kB Active: 49384 kB Inactive: 166312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1788720 kB SwapTotal: 4192956 kB SwapFree: 4181448 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14816 kB Slab: 37472 kB Committed_AS: 291780 kB PageTables: 1500 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node4 on Sat Jun 3 02:00:09 UTC 2006