Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | -7 | 1782.91 | 1783.59 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb |
MD5SUM | 1a88750537364c45876077f809191628 |
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.54 |
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 | 94308 |
Number of constraints which are clauses | 94308 |
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.04 c starting to Solve 1.04 c #variables read: 1272 - #constraints read: 94309 1.04 o 0 1.04 o 1 1.05 o 2 1.08 o 3 1.86 o 4 4.27 o 5 20.40 o 6 742.60 o 7 1783.40 c total time : 1783 s 1783.40 s SATISFIABLE 1783.40 v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 1783.40 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 1783.40 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 1783.40 v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 1783.40 v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 1783.40 v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 1783.40 v -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 1783.40 v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 1783.40 v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 1783.40 v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 1783.40 v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 1783.40 v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 1783.40 v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 1783.40 v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 1783.40 v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 1783.40 v -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 1783.40 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 1783.40 v -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 1783.40 v -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 1783.40 v -x938 -x937 -x936 -x935 x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 1783.40 v -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 1783.40 v -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 1783.40 v -x875 -x874 -x873 -x872 -x871 -x870 -x869 x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 1783.40 v -x854 -x853 -x852 -x851 x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 1783.40 v -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 x818 -x817 x816 -x815 -x814 -x813 1783.40 v -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 1783.40 v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 1783.40 v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 1783.40 v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 1783.40 v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 1783.40 v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 1783.40 v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 1783.40 v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 1783.40 v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 1783.40 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 1783.40 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 1783.40 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 1783.40 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 1783.40 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 1783.40 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 1783.40 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 1783.40 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 1783.40 v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 1783.40 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 1783.40 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 1783.40 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 1783.40 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 1783.40 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 1783.40 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 1783.40 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 1783.40 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 1783.40 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 1783.40 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 1783.40 v -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 1783.40 v -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 1783.40 v -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 1783.40 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 1783.40 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 1783.40 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 1783.40 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.40 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.40 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.40 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/node75/watcher-38204-1149296634 -o ROOT/results/node75/solver-38204-1149296634 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node75/38204-1149296634/instance-38204-1149296634.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 3/64 21272 /proc/meminfo: memFree=1771560/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=916 CPUtime=0 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 44 0 0 0 0 0 0 0 18 0 1 0 195326829 937984 28 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 6734628 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 229 28 20 16 0 8 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.95 0.90 2/64 21272 /proc/meminfo: memFree=1677168/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=96920 CPUtime=9.99 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 23766 0 0 0 989 10 0 0 25 0 1 0 195326829 99246080 23737 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 24230 23737 206 16 0 23671 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 96920 [startup+20.0095 s] /proc/loadavg: 0.94 0.96 0.91 2/64 21272 /proc/meminfo: memFree=1617336/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=157236 CPUtime=19.99 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 38729 0 0 0 1981 18 0 0 25 0 1 0 195326829 161009664 38700 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 7169659 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 39309 38700 206 16 0 38750 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 157236 [startup+30.0155 s] /proc/loadavg: 0.95 0.96 0.91 2/64 21272 /proc/meminfo: memFree=1554936/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=219780 CPUtime=29.99 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 54318 0 0 0 2974 25 0 0 25 0 1 0 195326829 225054720 54289 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 7169659 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 54945 54289 206 16 0 54386 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 219780 [startup+40.0215 s] /proc/loadavg: 0.95 0.96 0.91 2/64 21272 /proc/meminfo: memFree=1483000/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=291656 CPUtime=39.99 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 72256 0 0 0 3966 33 0 0 25 0 1 0 195326829 298655744 72227 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 72914 72227 206 16 0 72355 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 291656 [startup+50.0274 s] /proc/loadavg: 0.96 0.96 0.91 2/64 21272 /proc/meminfo: memFree=1414392/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=360332 CPUtime=50 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 89382 0 0 0 4959 41 0 0 25 0 1 0 195326829 368979968 89353 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 7169659 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 90083 89353 206 16 0 89524 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 360332 [startup+60.0334 s] /proc/loadavg: 0.97 0.96 0.91 2/64 21272 /proc/meminfo: memFree=1352632/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=422004 CPUtime=60 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 104809 0 0 0 5953 47 0 0 25 0 1 0 195326829 432132096 104781 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 7169659 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 105501 104781 206 16 0 104942 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 422004 [startup+70.0394 s] /proc/loadavg: 0.97 0.96 0.91 2/64 21272 /proc/meminfo: memFree=1300536/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=473948 CPUtime=70 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 117819 0 0 0 6947 53 0 0 25 0 1 0 195326829 485322752 117758 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 7169659 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 118487 117758 206 16 0 117928 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 473948 [startup+80.0454 s] /proc/loadavg: 0.98 0.96 0.91 2/64 21272 /proc/meminfo: memFree=1244280/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=530204 CPUtime=80 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 131855 0 0 0 7940 60 0 0 25 0 1 0 195326829 542928896 131794 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 132551 131794 206 16 0 131992 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 530204 [startup+90.0514 s] /proc/loadavg: 0.98 0.96 0.91 2/64 21272 /proc/meminfo: memFree=1189240/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=585488 CPUtime=90 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 145595 0 0 0 8933 67 0 0 25 0 1 0 195326829 599539712 145534 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 146372 145534 206 16 0 145813 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 585488 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.91 2/64 21272 /proc/meminfo: memFree=1136056/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=638588 CPUtime=100.01 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 158891 0 0 0 9926 75 0 0 25 0 1 0 195326829 653914112 158798 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 159647 158798 206 16 0 159088 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 638588 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.91 2/64 21272 /proc/meminfo: memFree=1100472/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=674620 CPUtime=110.01 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 167754 0 0 0 10922 79 0 0 25 0 1 0 195326829 690810880 167661 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516700 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 168655 167661 206 16 0 168096 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 674620 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21272 /proc/meminfo: memFree=1100472/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=674620 CPUtime=120.01 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 167754 0 0 0 11922 79 0 0 25 0 1 0 195326829 690810880 167661 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 168655 167661 206 16 0 168096 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 674620 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21272 /proc/meminfo: memFree=1100472/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=674620 CPUtime=130.02 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 167761 0 0 0 12922 80 0 0 25 0 1 0 195326829 690810880 167668 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 168655 167668 206 16 0 168096 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 674620 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21272 /proc/meminfo: memFree=1100472/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=674620 CPUtime=140.01 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 167761 0 0 0 13921 80 0 0 25 0 1 0 195326829 690810880 167668 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557270 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 168655 167668 206 16 0 168096 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 674620 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21272 /proc/meminfo: memFree=1100408/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=674620 CPUtime=150.02 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 167761 0 0 0 14921 81 0 0 25 0 1 0 195326829 690810880 167668 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 168655 167668 206 16 0 168096 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 674620 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21272 /proc/meminfo: memFree=1100408/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=674620 CPUtime=160.02 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 167761 0 0 0 15920 82 0 0 25 0 1 0 195326829 690810880 167668 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 168655 167668 206 16 0 168096 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 674620 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21272 /proc/meminfo: memFree=1100408/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=674620 CPUtime=170.03 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 167761 0 0 0 16920 83 0 0 25 0 1 0 195326829 690810880 167668 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 168655 167668 206 16 0 168096 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 674620 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21272 /proc/meminfo: memFree=1100408/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=674620 CPUtime=180.03 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 167761 0 0 0 17920 83 0 0 25 0 1 0 195326829 690810880 167668 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 168655 167668 206 16 0 168096 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 674620 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21272 /proc/meminfo: memFree=1100408/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=674620 CPUtime=190.03 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 167764 0 0 0 18919 84 0 0 25 0 1 0 195326829 690810880 167671 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 168655 167671 206 16 0 168096 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 674620 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21272 /proc/meminfo: memFree=1100408/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=674620 CPUtime=200.03 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 167764 0 0 0 19918 85 0 0 25 0 1 0 195326829 690810880 167671 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 168655 167671 206 16 0 168096 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 674620 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21272 /proc/meminfo: memFree=1100280/2055920 swapFree=4182500/4192956 ################ # More data... # ################ /proc/21272/statm: 323743 321802 206 16 0 323184 0 Current children cumulated CPU time (s) 1590.37 Current children cumulated vsize (Kb) 1294972 [startup+1600.98 s] /proc/loadavg: 1.00 0.99 0.91 2/64 21272 /proc/meminfo: memFree=482488/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=1294972 CPUtime=1600.36 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 159817 219 0 0 25 0 1 0 195326829 1326051328 321802 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528681 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 323743 321802 206 16 0 323184 0 Current children cumulated CPU time (s) 1600.36 Current children cumulated vsize (Kb) 1294972 [startup+1610.98 s] /proc/loadavg: 1.00 0.99 0.91 2/64 21272 /proc/meminfo: memFree=482488/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=1294972 CPUtime=1610.36 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 160817 219 0 0 25 0 1 0 195326829 1326051328 321802 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 323743 321802 206 16 0 323184 0 Current children cumulated CPU time (s) 1610.36 Current children cumulated vsize (Kb) 1294972 [startup+1620.99 s] /proc/loadavg: 1.00 0.99 0.91 2/64 21272 /proc/meminfo: memFree=482488/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=1294972 CPUtime=1620.37 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 161817 220 0 0 25 0 1 0 195326829 1326051328 321802 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134518196 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 323743 321802 206 16 0 323184 0 Current children cumulated CPU time (s) 1620.37 Current children cumulated vsize (Kb) 1294972 [startup+1631 s] /proc/loadavg: 1.00 0.99 0.91 2/64 21272 /proc/meminfo: memFree=482488/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=1294972 CPUtime=1630.37 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 162817 220 0 0 25 0 1 0 195326829 1326051328 321802 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528319 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 323743 321802 206 16 0 323184 0 Current children cumulated CPU time (s) 1630.37 Current children cumulated vsize (Kb) 1294972 [startup+1641 s] /proc/loadavg: 1.00 0.99 0.91 2/64 21272 /proc/meminfo: memFree=482488/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=1294972 CPUtime=1640.37 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 163817 220 0 0 25 0 1 0 195326829 1326051328 321802 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 323743 321802 206 16 0 323184 0 Current children cumulated CPU time (s) 1640.37 Current children cumulated vsize (Kb) 1294972 [startup+1651.01 s] /proc/loadavg: 1.00 0.99 0.91 2/64 21272 /proc/meminfo: memFree=482552/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=1294972 CPUtime=1650.37 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 164817 220 0 0 25 0 1 0 195326829 1326051328 321802 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516734 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 323743 321802 206 16 0 323184 0 Current children cumulated CPU time (s) 1650.37 Current children cumulated vsize (Kb) 1294972 [startup+1661.01 s] /proc/loadavg: 1.00 0.99 0.91 2/64 21272 /proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=1223288 CPUtime=1660.38 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 165816 222 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 305822 303906 206 16 0 305263 0 Current children cumulated CPU time (s) 1660.38 Current children cumulated vsize (Kb) 1223288 [startup+1671.02 s] /proc/loadavg: 1.00 0.99 0.91 2/64 21272 /proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=1223288 CPUtime=1670.38 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 166816 222 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516696 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 305822 303906 206 16 0 305263 0 Current children cumulated CPU time (s) 1670.38 Current children cumulated vsize (Kb) 1223288 [startup+1681.03 s] /proc/loadavg: 1.00 0.99 0.91 2/64 21272 /proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=1223288 CPUtime=1680.38 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 167816 222 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 305822 303906 206 16 0 305263 0 Current children cumulated CPU time (s) 1680.38 Current children cumulated vsize (Kb) 1223288 [startup+1691.03 s] /proc/loadavg: 1.00 0.99 0.91 2/64 21272 /proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=1223288 CPUtime=1690.38 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 168815 223 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 305822 303906 206 16 0 305263 0 Current children cumulated CPU time (s) 1690.38 Current children cumulated vsize (Kb) 1223288 [startup+1701.04 s] /proc/loadavg: 1.00 0.99 0.91 2/64 21272 /proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=1223288 CPUtime=1700.38 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 169814 224 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 305822 303906 206 16 0 305263 0 Current children cumulated CPU time (s) 1700.38 Current children cumulated vsize (Kb) 1223288 [startup+1711.04 s] /proc/loadavg: 1.00 0.99 0.91 2/64 21272 /proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=1223288 CPUtime=1710.39 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 170814 225 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 305822 303906 206 16 0 305263 0 Current children cumulated CPU time (s) 1710.39 Current children cumulated vsize (Kb) 1223288 [startup+1721.05 s] /proc/loadavg: 1.00 0.99 0.91 2/64 21272 /proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=1223288 CPUtime=1720.39 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 171814 225 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520070 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 305822 303906 206 16 0 305263 0 Current children cumulated CPU time (s) 1720.39 Current children cumulated vsize (Kb) 1223288 [startup+1731.06 s] /proc/loadavg: 1.00 0.99 0.91 2/64 21272 /proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=1223288 CPUtime=1730.39 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 172813 226 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 305822 303906 206 16 0 305263 0 Current children cumulated CPU time (s) 1730.39 Current children cumulated vsize (Kb) 1223288 [startup+1741.06 s] /proc/loadavg: 1.00 0.99 0.91 2/64 21272 /proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=1223288 CPUtime=1740.4 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 173813 227 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 305822 303906 206 16 0 305263 0 Current children cumulated CPU time (s) 1740.4 Current children cumulated vsize (Kb) 1223288 [startup+1751.07 s] /proc/loadavg: 1.00 0.99 0.91 2/64 21272 /proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=1223288 CPUtime=1750.4 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 174812 228 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 305822 303906 206 16 0 305263 0 Current children cumulated CPU time (s) 1750.4 Current children cumulated vsize (Kb) 1223288 [startup+1761.07 s] /proc/loadavg: 1.00 0.99 0.91 2/64 21272 /proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=1223288 CPUtime=1760.4 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 175812 228 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557287 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 305822 303906 206 16 0 305263 0 Current children cumulated CPU time (s) 1760.4 Current children cumulated vsize (Kb) 1223288 [startup+1771.08 s] /proc/loadavg: 1.00 0.99 0.91 2/64 21272 /proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=1223288 CPUtime=1770.4 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 176812 228 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 305822 303906 206 16 0 305263 0 Current children cumulated CPU time (s) 1770.4 Current children cumulated vsize (Kb) 1223288 [startup+1781.09 s] /proc/loadavg: 1.00 0.99 0.91 2/64 21272 /proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=1223288 CPUtime=1780.41 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 177812 229 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 305822 303906 206 16 0 305263 0 Current children cumulated CPU time (s) 1780.41 Current children cumulated vsize (Kb) 1223288 [startup+1782.09 s] /proc/loadavg: 1.00 0.99 0.91 2/64 21272 /proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=1223288 CPUtime=1781.41 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 177912 229 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 305822 303906 206 16 0 305263 0 Current children cumulated CPU time (s) 1781.41 Current children cumulated vsize (Kb) 1223288 [startup+1783.1 s] /proc/loadavg: 1.00 0.99 0.91 2/64 21272 /proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956 [pid=21272] ppid=21270 vsize=1223288 CPUtime=1782.42 /proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 178013 229 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/21272/statm: 305822 303906 206 16 0 305263 0 Current children cumulated CPU time (s) 1782.42 Current children cumulated vsize (Kb) 1223288 Child status: 10 Real time (s): 1783.59 CPU time (s): 1782.91 CPU user time (s): 1780.44 CPU system time (s): 2.46962 CPU usage (%): 99.962 Max. virtual memory (cumulated for all children) (Kb): 1294972
Begin job on node75 on Sat Jun 3 01:03:54 UTC 2006 FILE ID= 38204-1149296634 PBS_JOBID= 307166 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-4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node75/38204-1149296634/instance-38204-1149296634.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-38204-1149296634 -o ROOT/results/node75/solver-38204-1149296634 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node75/38204-1149296634/instance-38204-1149296634.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 1a88750537364c45876077f809191628 RANDOM SEED= 397095182 /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.259 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.259 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1771704 kB Buffers: 26484 kB Cached: 193804 kB SwapCached: 2072 kB Active: 49036 kB Inactive: 179896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1771704 kB SwapTotal: 4192956 kB SwapFree: 4182500 kB Dirty: 168 kB Writeback: 0 kB Mapped: 16032 kB Slab: 41248 kB Committed_AS: 317548 kB PageTables: 1448 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node75 on Sat Jun 3 01:33:38 UTC 2006