Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | OPT | 5 | 1613.4 | 1613.87 |
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 Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.02 c starting to Solve 0.02 c #variables read: 1296 - #constraints read: 68 2.13 o 24 2.24 o 20 2.26 o 19 9.26 o 11 9.89 o 10 11.29 o 9 12.06 o 8 345.14 o 7 1182.78 o 6 1561.71 o 5 1613.86 c optimum objective found = 5 1613.86 c total time : 1613.63 s 1613.86 s OPTIMUM FOUND 1613.86 v -x1276 x1277 -x1278 x1294 -x1295 -x1296 x1282 -x1286 -x1290 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 1613.86 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 1613.86 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 1613.86 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 1613.86 v -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 1613.86 v -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 1613.86 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 1613.86 v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x796 -x797 -x798 -x799 -x800 -x801 -x802 1613.86 v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 1613.86 v -x824 -x825 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 1613.86 v -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 1613.86 v -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 1613.86 v -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 1613.86 v -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 1613.86 v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1036 -x1037 1613.86 v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 1613.86 v -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 1613.86 v -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 1613.86 v -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 1613.86 v -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 1613.86 v -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 1613.86 v -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1216 1613.86 v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 1613.86 v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 1613.86 v -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 1613.86 v -x120 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 1613.86 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 1613.86 v -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 1613.86 v -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 1613.86 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 1613.86 v -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 1613.86 v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 1613.86 v -x417 -x418 -x419 -x420 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1613.86 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1613.86 v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1613.86 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1613.86 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 1613.86 v -x552 -x553 -x554 -x555 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 1613.86 v -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 x37 x38 x39 x40 x41 x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 1613.86 v -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 1613.86 v -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x121 -x122 -x123 -x124 -x125 -x126 x127 x128 -x129 -x130 -x131 1613.86 v -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x361 -x362 1613.86 v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 1613.86 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 1613.86 v -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x826 -x827 -x828 -x829 -x830 1613.86 v x831 x832 x833 x834 x835 x836 x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 1613.86 v -x853 -x854 -x855 -x181 -x182 x183 x184 x185 -x186 x187 x188 x189 -x190 x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 1613.86 v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 1613.86 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 1613.86 v -x1031 -x1032 -x1033 -x1034 -x1035 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1613.86 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x1186 -x1187 -x1188 -x1189 -x1190 1613.86 v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 1613.86 v -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 1613.86 v -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x616 -x617 1613.86 v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 1613.86 v -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 x647 x648 x649 x650 x651 x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 1613.86 v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x766 -x767 -x768 -x769 -x770 -x771 1613.86 v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 1613.86 v -x793 -x794 -x795 x1279 -x1283 -x1287 -x1291 x1280 -x1284 -x1288 -x1292 x1281 -x1285 -x1289 -x1293 x946 x947 x948 x949 -x950 1613.86 v -x951 x952 -x953 x954 -x955 -x956 x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 1613.86 v -x972 -x973 -x974 -x975 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1613.86 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1246 1613.86 v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 1613.86 v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275
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/node55/watcher-36545-1149349346 -o ROOT/results/node55/solver-36545-1149349346 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node55/36545-1149349346/instance-36545-1149349346.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 7644 /proc/meminfo: memFree=1636224/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=2572 CPUtime=0 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 200602200 2633728 231 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7315159 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 643 231 193 16 0 84 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.98 0.99 2/64 7644 /proc/meminfo: memFree=1633744/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=4804 CPUtime=10 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 841 0 0 0 991 9 0 0 25 0 1 0 200602200 4919296 812 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 1201 812 205 16 0 642 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 4804 [startup+20.0213 s] /proc/loadavg: 0.94 0.98 0.99 2/64 7644 /proc/meminfo: memFree=1633296/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=5108 CPUtime=20.01 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 962 0 0 0 1984 17 0 0 25 0 1 0 200602200 5230592 898 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 1277 898 205 16 0 718 0 Current children cumulated CPU time (s) 20.01 Current children cumulated vsize (Kb) 5108 [startup+30.0283 s] /proc/loadavg: 0.95 0.98 0.99 2/64 7644 /proc/meminfo: memFree=1633360/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=5108 CPUtime=30.01 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 962 0 0 0 2974 27 0 0 25 0 1 0 200602200 5230592 898 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 1277 898 205 16 0 718 0 Current children cumulated CPU time (s) 30.01 Current children cumulated vsize (Kb) 5108 [startup+40.0333 s] /proc/loadavg: 0.96 0.98 0.99 2/64 7644 /proc/meminfo: memFree=1633232/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=5492 CPUtime=40.02 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 1043 0 0 0 3959 43 0 0 25 0 1 0 200602200 5623808 979 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 1373 979 205 16 0 814 0 Current children cumulated CPU time (s) 40.02 Current children cumulated vsize (Kb) 5492 [startup+50.0393 s] /proc/loadavg: 0.96 0.98 0.99 2/64 7644 /proc/meminfo: memFree=1633040/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=5620 CPUtime=50.02 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 1088 0 0 0 4951 51 0 0 25 0 1 0 200602200 5754880 1024 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 1405 1024 205 16 0 846 0 Current children cumulated CPU time (s) 50.02 Current children cumulated vsize (Kb) 5620 [startup+60.0453 s] /proc/loadavg: 0.97 0.98 0.99 2/64 7644 /proc/meminfo: memFree=1633040/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=5748 CPUtime=60.03 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 1113 0 0 0 5938 65 0 0 25 0 1 0 200602200 5885952 1049 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 1437 1049 205 16 0 878 0 Current children cumulated CPU time (s) 60.03 Current children cumulated vsize (Kb) 5748 [startup+70.0513 s] /proc/loadavg: 0.97 0.98 0.99 2/64 7644 /proc/meminfo: memFree=1632912/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=5876 CPUtime=70.03 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 1139 0 0 0 6928 75 0 0 25 0 1 0 200602200 6017024 1075 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 1469 1075 205 16 0 910 0 Current children cumulated CPU time (s) 70.03 Current children cumulated vsize (Kb) 5876 [startup+80.0573 s] /proc/loadavg: 0.98 0.98 0.99 2/64 7644 /proc/meminfo: memFree=1632784/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=6004 CPUtime=80.03 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 1170 0 0 0 7916 87 0 0 25 0 1 0 200602200 6148096 1106 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 1501 1106 205 16 0 942 0 Current children cumulated CPU time (s) 80.03 Current children cumulated vsize (Kb) 6004 [startup+90.0633 s] /proc/loadavg: 0.98 0.98 0.99 2/64 7644 /proc/meminfo: memFree=1632464/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=6296 CPUtime=90.03 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 1239 0 0 0 8906 97 0 0 25 0 1 0 200602200 6447104 1175 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 1574 1175 205 16 0 1015 0 Current children cumulated CPU time (s) 90.03 Current children cumulated vsize (Kb) 6296 [startup+100.068 s] /proc/loadavg: 0.98 0.98 0.99 2/64 7644 /proc/meminfo: memFree=1632464/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=6236 CPUtime=100.03 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 1255 0 0 0 9896 107 0 0 25 0 1 0 200602200 6385664 1180 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 1559 1180 205 16 0 1000 0 Current children cumulated CPU time (s) 100.03 Current children cumulated vsize (Kb) 6236 [startup+110.074 s] /proc/loadavg: 0.98 0.98 0.99 2/64 7644 /proc/meminfo: memFree=1632208/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=6476 CPUtime=110.04 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 1314 0 0 0 10884 120 0 0 25 0 1 0 200602200 6631424 1239 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 1619 1239 205 16 0 1060 0 Current children cumulated CPU time (s) 110.04 Current children cumulated vsize (Kb) 6476 [startup+120.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7644 /proc/meminfo: memFree=1632208/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=6476 CPUtime=120.05 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 1315 0 0 0 11875 130 0 0 25 0 1 0 200602200 6631424 1240 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 1619 1240 205 16 0 1060 0 Current children cumulated CPU time (s) 120.05 Current children cumulated vsize (Kb) 6476 [startup+130.086 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7644 /proc/meminfo: memFree=1632144/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=6580 CPUtime=130.05 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 1331 0 0 0 12867 138 0 0 25 0 1 0 200602200 6737920 1256 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 1645 1256 205 16 0 1086 0 Current children cumulated CPU time (s) 130.05 Current children cumulated vsize (Kb) 6580 [startup+140.092 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7644 /proc/meminfo: memFree=1632144/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=6580 CPUtime=140.05 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 1331 0 0 0 13863 142 0 0 25 0 1 0 200602200 6737920 1256 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 1645 1256 205 16 0 1086 0 Current children cumulated CPU time (s) 140.05 Current children cumulated vsize (Kb) 6580 [startup+150.099 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7644 /proc/meminfo: memFree=1632144/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=6580 CPUtime=150.05 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 1331 0 0 0 14860 145 0 0 25 0 1 0 200602200 6737920 1256 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 1645 1256 205 16 0 1086 0 Current children cumulated CPU time (s) 150.05 Current children cumulated vsize (Kb) 6580 [startup+160.104 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7644 /proc/meminfo: memFree=1632080/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=6580 CPUtime=160.06 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 1340 0 0 0 15853 153 0 0 25 0 1 0 200602200 6737920 1265 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 1645 1265 205 16 0 1086 0 Current children cumulated CPU time (s) 160.06 Current children cumulated vsize (Kb) 6580 [startup+170.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7644 /proc/meminfo: memFree=1632080/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=6580 CPUtime=170.06 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 1341 0 0 0 16841 165 0 0 25 0 1 0 200602200 6737920 1266 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 1645 1266 205 16 0 1086 0 Current children cumulated CPU time (s) 170.06 Current children cumulated vsize (Kb) 6580 [startup+180.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7644 /proc/meminfo: memFree=1632080/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=6712 CPUtime=180.07 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 1350 0 0 0 17829 178 0 0 25 0 1 0 200602200 6873088 1275 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 1678 1275 205 16 0 1119 0 Current children cumulated CPU time (s) 180.07 Current children cumulated vsize (Kb) 6712 [startup+190.122 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7644 /proc/meminfo: memFree=1632080/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=6712 CPUtime=190.07 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 1350 0 0 0 18818 189 0 0 25 0 1 0 200602200 6873088 1275 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134564883 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 1678 1275 205 16 0 1119 0 Current children cumulated CPU time (s) 190.07 Current children cumulated vsize (Kb) 6712 [startup+200.128 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7644 /proc/meminfo: memFree=1632016/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=6712 CPUtime=200.07 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 1360 0 0 0 19808 199 0 0 25 0 1 0 200602200 6873088 1285 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 1678 1285 205 16 0 1119 0 Current children cumulated CPU time (s) 200.07 Current children cumulated vsize (Kb) 6712 [startup+210.135 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7644 /proc/meminfo: memFree=1631888/2055920 swapFree=4181444/4192956 ################ # More data... # ################ /proc/7644/statm: 2105 1726 205 16 0 1546 0 Current children cumulated CPU time (s) 1400.42 Current children cumulated vsize (Kb) 8420 [startup+1410.86 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7839 /proc/meminfo: memFree=1629784/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=8420 CPUtime=1410.43 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 2482 0 0 0 139821 1222 0 0 25 0 1 0 200602200 8622080 1726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 2105 1726 205 16 0 1546 0 Current children cumulated CPU time (s) 1410.43 Current children cumulated vsize (Kb) 8420 [startup+1420.86 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7839 /proc/meminfo: memFree=1629784/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=8420 CPUtime=1420.43 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 2482 0 0 0 140814 1229 0 0 25 0 1 0 200602200 8622080 1726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 2105 1726 205 16 0 1546 0 Current children cumulated CPU time (s) 1420.43 Current children cumulated vsize (Kb) 8420 [startup+1430.87 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7839 /proc/meminfo: memFree=1629784/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=8420 CPUtime=1430.43 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 2482 0 0 0 141807 1236 0 0 25 0 1 0 200602200 8622080 1726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 2105 1726 205 16 0 1546 0 Current children cumulated CPU time (s) 1430.43 Current children cumulated vsize (Kb) 8420 [startup+1440.88 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7839 /proc/meminfo: memFree=1629784/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=8420 CPUtime=1440.44 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 2482 0 0 0 142800 1244 0 0 25 0 1 0 200602200 8622080 1726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 2105 1726 205 16 0 1546 0 Current children cumulated CPU time (s) 1440.44 Current children cumulated vsize (Kb) 8420 [startup+1450.88 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7839 /proc/meminfo: memFree=1629784/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=8420 CPUtime=1450.44 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 2482 0 0 0 143790 1254 0 0 25 0 1 0 200602200 8622080 1726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 2105 1726 205 16 0 1546 0 Current children cumulated CPU time (s) 1450.44 Current children cumulated vsize (Kb) 8420 [startup+1460.89 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7839 /proc/meminfo: memFree=1629784/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=8420 CPUtime=1460.45 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 2482 0 0 0 144781 1264 0 0 25 0 1 0 200602200 8622080 1726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 2105 1726 205 16 0 1546 0 Current children cumulated CPU time (s) 1460.45 Current children cumulated vsize (Kb) 8420 [startup+1470.89 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7839 /proc/meminfo: memFree=1629912/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=8420 CPUtime=1470.45 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 2482 0 0 0 145772 1273 0 0 25 0 1 0 200602200 8622080 1726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 2105 1726 205 16 0 1546 0 Current children cumulated CPU time (s) 1470.45 Current children cumulated vsize (Kb) 8420 [startup+1480.9 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7839 /proc/meminfo: memFree=1629912/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=8420 CPUtime=1480.46 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 2505 0 0 0 146764 1282 0 0 25 0 1 0 200602200 8622080 1726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 2105 1726 205 16 0 1546 0 Current children cumulated CPU time (s) 1480.46 Current children cumulated vsize (Kb) 8420 [startup+1490.91 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7839 /proc/meminfo: memFree=1629912/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=8420 CPUtime=1490.46 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 2505 0 0 0 147757 1289 0 0 25 0 1 0 200602200 8622080 1726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 2105 1726 205 16 0 1546 0 Current children cumulated CPU time (s) 1490.46 Current children cumulated vsize (Kb) 8420 [startup+1500.91 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7839 /proc/meminfo: memFree=1629976/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=8420 CPUtime=1500.47 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 2505 0 0 0 148753 1294 0 0 25 0 1 0 200602200 8622080 1726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 2105 1726 205 16 0 1546 0 Current children cumulated CPU time (s) 1500.47 Current children cumulated vsize (Kb) 8420 [startup+1510.92 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7839 /proc/meminfo: memFree=1629976/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=8420 CPUtime=1510.47 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 2505 0 0 0 149745 1302 0 0 25 0 1 0 200602200 8622080 1726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 2105 1726 205 16 0 1546 0 Current children cumulated CPU time (s) 1510.47 Current children cumulated vsize (Kb) 8420 [startup+1520.93 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7839 /proc/meminfo: memFree=1629976/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=8420 CPUtime=1520.47 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 2505 0 0 0 150741 1306 0 0 25 0 1 0 200602200 8622080 1726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 2105 1726 205 16 0 1546 0 Current children cumulated CPU time (s) 1520.47 Current children cumulated vsize (Kb) 8420 [startup+1530.93 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7839 /proc/meminfo: memFree=1629976/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=8420 CPUtime=1530.47 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 2505 0 0 0 151735 1312 0 0 25 0 1 0 200602200 8622080 1726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 2105 1726 205 16 0 1546 0 Current children cumulated CPU time (s) 1530.47 Current children cumulated vsize (Kb) 8420 [startup+1540.94 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7839 /proc/meminfo: memFree=1629976/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=8424 CPUtime=1540.47 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 2509 0 0 0 152729 1318 0 0 25 0 1 0 200602200 8626176 1727 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 2106 1727 205 16 0 1547 0 Current children cumulated CPU time (s) 1540.47 Current children cumulated vsize (Kb) 8424 [startup+1550.94 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7839 /proc/meminfo: memFree=1629976/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=8424 CPUtime=1550.48 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 2509 0 0 0 153723 1325 0 0 25 0 1 0 200602200 8626176 1727 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528572 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 2106 1727 205 16 0 1547 0 Current children cumulated CPU time (s) 1550.48 Current children cumulated vsize (Kb) 8424 [startup+1560.95 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7839 /proc/meminfo: memFree=1629976/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=8424 CPUtime=1560.48 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 2509 0 0 0 154715 1333 0 0 25 0 1 0 200602200 8626176 1727 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 2106 1727 205 16 0 1547 0 Current children cumulated CPU time (s) 1560.48 Current children cumulated vsize (Kb) 8424 [startup+1570.95 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7839 /proc/meminfo: memFree=1629976/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=8424 CPUtime=1570.48 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 2509 0 0 0 155706 1342 0 0 25 0 1 0 200602200 8626176 1727 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 2106 1727 205 16 0 1547 0 Current children cumulated CPU time (s) 1570.48 Current children cumulated vsize (Kb) 8424 [startup+1580.96 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7839 /proc/meminfo: memFree=1629976/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=8424 CPUtime=1580.48 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 2509 0 0 0 156698 1350 0 0 25 0 1 0 200602200 8626176 1727 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 2106 1727 205 16 0 1547 0 Current children cumulated CPU time (s) 1580.48 Current children cumulated vsize (Kb) 8424 [startup+1590.97 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7839 /proc/meminfo: memFree=1629976/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=8424 CPUtime=1590.49 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 2509 0 0 0 157694 1355 0 0 25 0 1 0 200602200 8626176 1727 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 2106 1727 205 16 0 1547 0 Current children cumulated CPU time (s) 1590.49 Current children cumulated vsize (Kb) 8424 [startup+1600.97 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7839 /proc/meminfo: memFree=1629976/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=8424 CPUtime=1600.49 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 2509 0 0 0 158686 1363 0 0 25 0 1 0 200602200 8626176 1727 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 2106 1727 205 16 0 1547 0 Current children cumulated CPU time (s) 1600.49 Current children cumulated vsize (Kb) 8424 [startup+1610.98 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7839 /proc/meminfo: memFree=1629976/2055920 swapFree=4181444/4192956 [pid=7644] ppid=7642 vsize=8424 CPUtime=1610.5 /proc/7644/stat : 7644 (Pueblo) R 7642 7644 7598 0 -1 4194304 2509 0 0 0 159678 1372 0 0 25 0 1 0 200602200 8626176 1727 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528104 0 0 4096 0 0 0 0 17 1 0 0 /proc/7644/statm: 2106 1727 205 16 0 1547 0 Current children cumulated CPU time (s) 1610.5 Current children cumulated vsize (Kb) 8424 Child status: 30 Real time (s): 1613.87 CPU time (s): 1613.4 CPU user time (s): 1599.65 CPU system time (s): 13.7449 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (Kb): 8424
Begin job on node55 on Sat Jun 3 15:42:26 UTC 2006 FILE ID= 36545-1149349346 PBS_JOBID= 310884 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/user8/Pueblo ROOT/tmp/node55/36545-1149349346/instance-36545-1149349346.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-36545-1149349346 -o ROOT/results/node55/solver-36545-1149349346 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node55/36545-1149349346/instance-36545-1149349346.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 98cb9153c0a6885786e060f27dbb5c7a RANDOM SEED= 535693625 /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.243 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.243 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: 1636432 kB Buffers: 26684 kB Cached: 323648 kB SwapCached: 3336 kB Active: 59412 kB Inactive: 299740 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1636432 kB SwapTotal: 4192956 kB SwapFree: 4181444 kB Dirty: 204 kB Writeback: 0 kB Mapped: 14944 kB Slab: 46436 kB Committed_AS: 326304 kB PageTables: 1396 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node55 on Sat Jun 3 16:09:20 UTC 2006