Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | OPT | 5 | 907.548 | 907.866 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-sample2.opb |
MD5SUM | 98cb9153c0a6885786e060f27dbb5c7a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 179.551 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 1296 |
Total number of constraints | 46 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 3 |
Number of constraints which are nor clauses,nor cardinality constraints | 43 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 150 |
Number of terms in the objective function | 729 |
Biggest coefficient in the objective function | 23832 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 524793 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262138 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524793 |
Number of bits of the biggest sum of numbers | 20 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node59/41425-1149349257/instance-41425-1149349257.opb ...... 0.50 c done parsing opb. 0.50 o 14 0.50 o 12 0.50 o 11 0.50 o 10 234.22 o 9 408.35 o 8 428.74 o 7 629.63 o 6 879.47 o 5 907.84 o 5 907.84 s OPTIMUM FOUND 907.84 c Total Run Time 907.51 907.84 v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 907.84 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 907.84 v -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 907.84 v -x1046 -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 907.84 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 907.84 v -x1078 -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 907.84 v -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x11 -x110 x1100 x1101 -x1102 -x1103 -x1104 x1105 x1106 -x1107 x1108 x1109 -x111 907.84 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 907.84 v -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 907.84 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 907.84 v -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 907.84 v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 907.84 v -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 907.84 v -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 907.84 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 907.84 v -x1237 -x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 907.84 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 907.84 v -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x128 -x1280 -x1281 -x1282 x1283 x1284 907.84 v x1285 x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x13 -x130 -x131 -x132 -x133 -x134 907.84 v -x135 -x136 -x137 -x138 -x139 -x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x15 -x150 -x151 -x152 -x153 907.84 v -x154 -x155 -x156 -x157 -x158 -x159 -x16 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x17 -x170 -x171 -x172 907.84 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 -x190 -x191 907.84 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 907.84 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 907.84 v -x23 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 907.84 v -x249 -x25 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 907.84 v -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 x285 -x286 907.84 v -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 x304 x305 907.84 v -x306 -x307 x308 x309 -x31 x310 x311 -x312 x313 x314 -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 907.84 v -x326 -x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 907.84 v -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 907.84 v -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 907.84 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 907.84 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 907.84 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 907.84 v -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 907.84 v -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 907.84 v -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 907.84 v -x497 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 907.84 v -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 907.84 v -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 907.84 v -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 907.84 v -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 907.84 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 907.84 v -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 907.84 v -x629 x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 907.84 v -x648 -x649 x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 907.84 v -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 907.84 v -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703 907.84 v -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 907.84 v -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x74 -x740 -x741 907.84 v -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 907.84 v -x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x78 907.84 v -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 907.84 v -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 907.84 v -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 907.84 v -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 907.84 v -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 907.84 v -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 907.84 v -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910 -x911 907.84 v -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 907.84 v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 907.84 v -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 907.84 v -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 907.84 v -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK 5
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/node59/watcher-41425-1149349257 -o ROOT/results/node59/solver-41425-1149349257 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node59/41425-1149349257/instance-41425-1149349257.opb 645983762 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1684816/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=1532 CPUtime=0 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 142 0 0 0 0 0 0 0 18 0 1 0 200593925 1568768 123 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598861 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 383 124 90 232 0 148 0 [startup+10.0022 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1676192/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=11380 CPUtime=9.99 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 2346 0 0 0 996 3 0 0 25 0 1 0 200593925 11653120 2264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611781 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 2845 2264 108 232 0 2610 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 11380 [startup+20.0091 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1673576/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=20500 CPUtime=19.99 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 3099 0 0 0 1994 5 0 0 25 0 1 0 200593925 20992000 2920 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 5125 2920 108 232 0 4890 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 20500 [startup+30.015 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1672040/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=20896 CPUtime=30 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 3509 0 0 0 2992 8 0 0 25 0 1 0 200593925 21397504 3330 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 5224 3330 108 232 0 4989 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 20896 [startup+40.021 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1669928/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=21992 CPUtime=40 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 4222 0 0 0 3990 10 0 0 25 0 1 0 200593925 22519808 3850 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 5498 3850 108 232 0 5263 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 21992 [startup+50.0269 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1669480/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=22256 CPUtime=50 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 4324 0 0 0 4988 12 0 0 25 0 1 0 200593925 22790144 3952 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 5564 3952 108 232 0 5329 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 22256 [startup+60.0328 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1666408/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=22556 CPUtime=60.01 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 5088 0 0 0 5986 15 0 0 25 0 1 0 200593925 23097344 4716 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 5639 4716 108 232 0 5404 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 22556 [startup+70.0388 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1662952/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=39220 CPUtime=70.01 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 5953 0 0 0 6983 18 0 0 25 0 1 0 200593925 40161280 5581 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 9805 5581 108 232 0 9570 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 39220 [startup+80.0447 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1660520/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=39704 CPUtime=80 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 6564 0 0 0 7981 19 0 0 25 0 1 0 200593925 40656896 6192 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 9926 6192 108 232 0 9691 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 39704 [startup+90.0506 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1660264/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=39984 CPUtime=90.01 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 6636 0 0 0 8980 21 0 0 25 0 1 0 200593925 40943616 6264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 9996 6264 108 232 0 9761 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 39984 [startup+100.057 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1659304/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=42076 CPUtime=100.01 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 7263 0 0 0 9978 23 0 0 25 0 1 0 200593925 43085824 6506 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 10519 6506 108 232 0 10284 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 42076 [startup+110.062 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1658856/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=42228 CPUtime=110.01 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 7365 0 0 0 10976 25 0 0 25 0 1 0 200593925 43241472 6608 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 10557 6608 108 232 0 10322 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 42228 [startup+120.068 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1658088/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=42360 CPUtime=120.02 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 7564 0 0 0 11975 27 0 0 25 0 1 0 200593925 43376640 6807 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 10590 6807 108 232 0 10355 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 42360 [startup+130.074 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1657768/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=42516 CPUtime=130.02 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 7634 0 0 0 12974 28 0 0 25 0 1 0 200593925 43536384 6877 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 10629 6877 108 232 0 10394 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 42516 [startup+140.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1657256/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=42648 CPUtime=140.02 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 7768 0 0 0 13973 29 0 0 25 0 1 0 200593925 43671552 7011 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 10662 7011 108 232 0 10427 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 42648 [startup+150.086 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1654504/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=42796 CPUtime=150.02 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 8464 0 0 0 14970 32 0 0 25 0 1 0 200593925 43823104 7707 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 10699 7707 108 232 0 10464 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 42796 [startup+160.093 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1651880/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=43088 CPUtime=160.03 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 9112 0 0 0 15968 35 0 0 25 0 1 0 200593925 44122112 8355 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549303 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 10772 8355 108 232 0 10537 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 43088 [startup+170.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1650472/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=43208 CPUtime=170.04 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 9458 0 0 0 16967 37 0 0 25 0 1 0 200593925 44244992 8701 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 10802 8701 108 232 0 10567 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 43208 [startup+180.107 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1649192/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=43348 CPUtime=180.04 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 9777 0 0 0 17966 38 0 0 25 0 1 0 200593925 44388352 9020 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 10837 9020 108 232 0 10602 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 43348 [startup+190.113 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1647400/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=43532 CPUtime=190.04 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 10223 0 0 0 18964 40 0 0 25 0 1 0 200593925 44576768 9466 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 10883 9466 108 232 0 10648 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 43532 [startup+200.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1647272/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=43532 CPUtime=200.04 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 10261 0 0 0 19963 41 0 0 25 0 1 0 200593925 44576768 9504 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 10883 9504 108 232 0 10648 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 43532 [startup+210.127 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1647016/2055920 swapFree=4180876/4192956 ################ # More data... # ################ /proc/7554/statm: 23353 17356 108 232 0 23118 0 Current children cumulated CPU time (s) 690.17 Current children cumulated vsize (Kb) 93412 [startup+700.426 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1615400/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=93412 CPUtime=700.17 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 20461 0 0 0 69896 121 0 0 25 0 1 0 200593925 95653888 17398 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552216 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 23353 17398 108 232 0 23118 0 Current children cumulated CPU time (s) 700.17 Current children cumulated vsize (Kb) 93412 [startup+710.432 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1615336/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=93412 CPUtime=710.18 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 20496 0 0 0 70895 123 0 0 25 0 1 0 200593925 95653888 17433 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 23353 17433 108 232 0 23118 0 Current children cumulated CPU time (s) 710.18 Current children cumulated vsize (Kb) 93412 [startup+720.438 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1615208/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=93724 CPUtime=720.18 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 20536 0 0 0 71894 124 0 0 25 0 1 0 200593925 95973376 17473 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 23431 17473 108 232 0 23196 0 Current children cumulated CPU time (s) 720.18 Current children cumulated vsize (Kb) 93724 [startup+730.444 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1613992/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=93884 CPUtime=730.19 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 20831 0 0 0 72893 126 0 0 25 0 1 0 200593925 96137216 17768 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 23471 17768 108 232 0 23236 0 Current children cumulated CPU time (s) 730.19 Current children cumulated vsize (Kb) 93884 [startup+740.45 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1612072/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=93884 CPUtime=740.19 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 21307 0 0 0 73892 127 0 0 25 0 1 0 200593925 96137216 18244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550853 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 23471 18244 108 232 0 23236 0 Current children cumulated CPU time (s) 740.19 Current children cumulated vsize (Kb) 93884 [startup+750.456 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1610856/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=93884 CPUtime=750.19 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 21617 0 0 0 74891 128 0 0 25 0 1 0 200593925 96137216 18554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 23471 18554 108 232 0 23236 0 Current children cumulated CPU time (s) 750.19 Current children cumulated vsize (Kb) 93884 [startup+760.462 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1608552/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=93884 CPUtime=760.19 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 22180 0 0 0 75889 130 0 0 25 0 1 0 200593925 96137216 19117 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 23471 19117 108 232 0 23236 0 Current children cumulated CPU time (s) 760.19 Current children cumulated vsize (Kb) 93884 [startup+770.468 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1607272/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=94188 CPUtime=770.19 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 22505 0 0 0 76887 132 0 0 25 0 1 0 200593925 96448512 19442 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552216 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 23547 19442 108 232 0 23312 0 Current children cumulated CPU time (s) 770.19 Current children cumulated vsize (Kb) 94188 [startup+780.474 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1606632/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=94332 CPUtime=780.2 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 22662 0 0 0 77887 133 0 0 25 0 1 0 200593925 96595968 19599 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 23583 19599 108 232 0 23348 0 Current children cumulated CPU time (s) 780.2 Current children cumulated vsize (Kb) 94332 [startup+790.48 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1605352/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=94332 CPUtime=790.2 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 22991 0 0 0 78886 134 0 0 25 0 1 0 200593925 96595968 19928 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549267 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 23583 19928 108 232 0 23348 0 Current children cumulated CPU time (s) 790.2 Current children cumulated vsize (Kb) 94332 [startup+800.486 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1605288/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=94332 CPUtime=800.2 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 23005 0 0 0 79886 134 0 0 25 0 1 0 200593925 96595968 19942 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 23583 19942 108 232 0 23348 0 Current children cumulated CPU time (s) 800.2 Current children cumulated vsize (Kb) 94332 [startup+810.491 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1605096/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=94332 CPUtime=810.2 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 23048 0 0 0 80885 135 0 0 25 0 1 0 200593925 96595968 19985 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 23583 19985 108 232 0 23348 0 Current children cumulated CPU time (s) 810.2 Current children cumulated vsize (Kb) 94332 [startup+820.498 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1603048/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=94476 CPUtime=820.21 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 23554 0 0 0 81884 137 0 0 25 0 1 0 200593925 96743424 20491 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 23619 20491 108 232 0 23384 0 Current children cumulated CPU time (s) 820.21 Current children cumulated vsize (Kb) 94476 [startup+830.505 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1601576/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=94476 CPUtime=830.21 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 23916 0 0 0 82883 138 0 0 25 0 1 0 200593925 96743424 20853 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 23619 20853 108 232 0 23384 0 Current children cumulated CPU time (s) 830.21 Current children cumulated vsize (Kb) 94476 [startup+840.512 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1600616/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=94944 CPUtime=840.21 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 24163 0 0 0 83882 139 0 0 25 0 1 0 200593925 97222656 21100 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 23736 21100 108 232 0 23501 0 Current children cumulated CPU time (s) 840.21 Current children cumulated vsize (Kb) 94944 [startup+850.518 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1600040/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=94944 CPUtime=850.21 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 24306 0 0 0 84881 140 0 0 25 0 1 0 200593925 97222656 21243 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 23736 21243 108 232 0 23501 0 Current children cumulated CPU time (s) 850.21 Current children cumulated vsize (Kb) 94944 [startup+860.525 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1599208/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=95064 CPUtime=860.22 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 24518 0 0 0 85881 141 0 0 25 0 1 0 200593925 97345536 21455 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550028 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 23766 21455 108 232 0 23531 0 Current children cumulated CPU time (s) 860.22 Current children cumulated vsize (Kb) 95064 [startup+870.531 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1597032/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=95208 CPUtime=870.22 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 25048 0 0 0 86880 142 0 0 25 0 1 0 200593925 97492992 21985 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 23802 21985 108 232 0 23567 0 Current children cumulated CPU time (s) 870.22 Current children cumulated vsize (Kb) 95208 [startup+880.538 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1595880/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=95368 CPUtime=880.23 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 25337 0 0 0 87880 143 0 0 25 0 1 0 200593925 97656832 22274 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 23842 22274 108 232 0 23607 0 Current children cumulated CPU time (s) 880.23 Current children cumulated vsize (Kb) 95368 [startup+890.544 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1594856/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=160904 CPUtime=890.23 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 25589 0 0 0 88878 145 0 0 25 0 1 0 200593925 164765696 22526 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 40226 22526 108 232 0 39991 0 Current children cumulated CPU time (s) 890.23 Current children cumulated vsize (Kb) 160904 [startup+900.55 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7554 /proc/meminfo: memFree=1594216/2055920 swapFree=4180876/4192956 [pid=7554] ppid=7552 vsize=161256 CPUtime=900.23 /proc/7554/stat : 7554 (PBS4L) R 7552 7554 7508 0 -1 4194304 25752 0 0 0 89877 146 0 0 25 0 1 0 200593925 165126144 22689 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/7554/statm: 40314 22689 108 232 0 40079 0 Current children cumulated CPU time (s) 900.23 Current children cumulated vsize (Kb) 161256 Child status: 0 Real time (s): 907.866 CPU time (s): 907.548 CPU user time (s): 906.054 CPU system time (s): 1.49377 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (Kb): 161256
Begin job on node59 on Sat Jun 3 15:40:57 UTC 2006 FILE ID= 41425-1149349257 PBS_JOBID= 310881 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-sample2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node59/41425-1149349257/instance-41425-1149349257.opb 645983762 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-41425-1149349257 -o ROOT/results/node59/solver-41425-1149349257 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node59/41425-1149349257/instance-41425-1149349257.opb 645983762 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 98cb9153c0a6885786e060f27dbb5c7a RANDOM SEED= 645983762 /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.272 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.272 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: 1685088 kB Buffers: 20680 kB Cached: 279604 kB SwapCached: 3744 kB Active: 44148 kB Inactive: 264792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1685088 kB SwapTotal: 4192956 kB SwapFree: 4180876 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14732 kB Slab: 47852 kB Committed_AS: 344272 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node59 on Sat Jun 3 15:56:05 UTC 2006